repo/sync/gentoo.git - Sync-friendly git mirror of repo/gentoo with caches and metadata

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics/coq: revbump for newer ocaml + num	Jason A. Donenfeld	2020-01-07	1	-0/+86
*	/: Remove ml@ from packages maintainers	Michał Górny	2019-12-13	1	-4/+0
*	sci-mathematics/coq: fix eclass usage	Michael Mair-Keimberger	2019-11-23	1	-1/+1
*	sci-mathematics/coq: forward keywords again (forgotten)	Mikle Kolyada	2019-11-04	1	-1/+1
*	sci-mathematics/coq: migrate from dev-tex/xcolor	Mikle Kolyada	2019-11-04	4	-95/+3
*	sci-mathematics/coq: Bump to 8.9.1	Mark Wright	2019-09-24	2	-0/+87
*	sci-mathematics/coq: Drop obsolete dev-texlive/texlive-mathextra	Andreas Sturmlechner	2018-04-09	2	-4/+4
*	sci-mathematics: Update Manifest hashes.	Ulrich Müller	2017-12-10	1	-2/+2
*	sci-mathematics/coq: bump to 8.6.1	Alexis Ballier	2017-07-18	2	-0/+92
*	sci-mathematics/coq: Remove old	Alexis Ballier	2017-07-14	5	-228/+0
*	sci-mathematics/coq: ppc stable wrt bug #619676	Agostino Sarubbo	2017-07-07	1	-1/+1
*	sci-mathematics/coq: x86 stable wrt bug #619676	Agostino Sarubbo	2017-07-07	1	-1/+1
*	sci-mathematics/coq: amd64 stable wrt bug #619676	Agostino Sarubbo	2017-07-07	1	-1/+1
*	Drop $Id$ per council decision in bug #611234.	Robin H. Johnson	2017-02-28	3	-3/+0
*	sci-mathematics/coq: adjust deps for TeX Live 2016.	Alexis Ballier	2017-01-23	3	-6/+6
*	sci-mathematics/coq: remove old	Alexis Ballier	2017-01-23	4	-208/+0
*	sci-mathematics/coq: add missing findlib build dep, bug #603126	Alexis Ballier	2016-12-19	1	-0/+1
*	sci-mathematics/coq: bump to 8.6	Alexis Ballier	2016-12-19	2	-0/+92
*	sci-mathematics/coq: bump to 8.5pl3	Alexis Ballier	2016-11-15	2	-0/+97
*	sci-mathematics/coq: drop ocaml 4.03 patch; it is not needed anymore.	Alexis Ballier	2016-08-12	1	-1/+0
*	sci-mathematics/coq: bump to 8.5pl2	Alexis Ballier	2016-07-13	2	-0/+98
*	sci-mathematics/coq: Clean up old.	Patrice Clement	2016-06-25	3	-39/+0
*	sci-mathematics/coq: Clean up old.	Patrice Clement	2016-06-25	3	-208/+0
*	sci-mathematics/coq: Stable for amd64. Retroactively mark stable for the rema...	Patrice Clement	2016-06-25	1	-6/+11
*	Revert "sci-mathematics/coq: Remove := from \|\| dep, #586304"	Alexis Ballier	2016-06-23	2	-4/+4
*	sci-mathematics/coq: Remove := from \|\| dep, #586304	Michał Górny	2016-06-21	2	-4/+4
*	sci-mathematics/coq: fix build with ocaml 4.03	Alexis Ballier	2016-05-03	2	-0/+14
*	sci-mathematics/coq: bump to 8.5pl1	Alexis Ballier	2016-04-11	2	-0/+97
*	Set appropriate maintainer types in metadata.xml (GLEP 67)	Michał Górny	2016-01-24	1	-2/+2
*	Replace all herds with appropriate projects (GLEP 67)	Michał Górny	2016-01-24	1	-2/+8
*	sci-mathematics/coq: bump to 8.5	Alexis Ballier	2016-01-23	3	-0/+116
*	sci-mathematics/coq: remove old	Alexis Ballier	2015-11-12	6	-351/+0
*	sci-mathematics/coq: ppc stable wrt bug #553322	Agostino Sarubbo	2015-11-12	1	-1/+1
*	sci-mathematics/coq: x86 stable wrt bug #553322	Agostino Sarubbo	2015-11-11	1	-1/+1
*	Update hashes in Manifest	Justin Lecher	2015-09-23	1	-1/+1
*	Revert DOCTYPE SYSTEM https changes in metadata.xml	Mike Gilbert	2015-08-24	1	-1/+1
*	Use https by default	Justin Lecher	2015-08-24	1	-1/+1
*	proj/gentoo: Initial commit	Robin H. Johnson	2015-08-08	13	-0/+632