repo/gentoo.git - Official Gentoo ebuild repository

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics/prover9: fix tests; bump to EAPI 8	Maciej Barć	2024-02-14	1	-25/+23
*	/: Reassign gienah's packages	Michał Górny	2024-02-14	1	-4/+0
*	sci-mathematics/prover9: align longdescription opening and closing tags	Petr Vaněk	2022-10-20	1	-1/+1
*	**/metadata.xml: Replace http by https in DOCTYPE element	Ulrich Müller	2021-09-11	1	-1/+1
*	sci-mathematics/prover9: eutils--	Sam James	2021-04-16	1	-2/+2
*	/: [QA] Use consistent function definition formatting	David Seifert	2020-02-22	1	-1/+1
*	sci-mathematics/prover9: eapi=7, add src_test	Mark Wright	2020-01-07	1	-6/+13
*	sci-mathematics/prover9: use HTTPS	Michael Mair-Keimberger	2019-05-02	1	-3/+3
*	sci-mathematics: Update Manifest hashes.	Ulrich Müller	2017-12-10	1	-2/+2
*	Drop $Id$ per council decision in bug #611234.	Robin H. Johnson	2017-02-28	1	-1/+0
*	fix quoting to a lot of patch calls	Mike Frysinger	2017-01-20	1	-1/+1
*	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
*	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	2	-2/+2
*	proj/gentoo: Initial commit	Robin H. Johnson	2015-08-08	4	-0/+603