repo/gentoo.git - Official Gentoo ebuild repository

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics/isabelle: fix scala dependency.	Patrice Clement	2018-11-01	1	-6/+6
*	sci-mathematics: Update Manifest hashes.	Ulrich Müller	2017-12-10	1	-10/+10
*	sci-mathematics/isabelle: use HTTPS for links to dev.gentoo.org	Francesco Turco	2017-09-06	1	-3/+3
*	Drop $Id$ per council decision in bug #611234.	Robin H. Johnson	2017-02-28	1	-1/+0
*	sci-mathematics/isabelle: remove unused patch	Michael Mair-Keimberger (asterix)	2017-02-01	1	-13/+0
*	sci-mathematics/isabelle: Remove old	Mark Wright	2017-01-28	8	-468/+0
*	sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez for	Mark Wright	2017-01-03	11	-0/+606
*	sci-mathematics/isabelle: Remove old	James Le Cuirot	2016-03-06	18	-2052/+0
*	sci-mathematics/isabelle: Remove sci-mathematics/csdp, as found existing sci-...	Mark Wright	2016-02-16	1	-1/+1
*	sci-mathematics/isabelle: Bump to 2015, check diskspace and memory.	Mark Wright	2016-02-16	4	-0/+349
*	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	-1/+4
*	Unify quoting in metadata.xml files for machine processing	Michał Górny	2016-01-24	1	-16/+16
*	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	3	-3/+3
*	proj/gentoo: Initial commit	Robin H. Johnson	2015-08-08	23	-0/+2223