repo/gentoo.git - Official Gentoo ebuild repository

	Commit message (Expand)	Author	Age	Files	Lines
...
*	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