repo/gentoo.git - Official Gentoo ebuild repository

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics/agda-stdlib: egrep -> grep -E	Sam James	2022-05-15	1	-2/+2
*	**/metadata.xml: Replace http by https in DOCTYPE element	Ulrich Müller	2021-09-11	1	-1/+1
*	sci-mathematics/agda-stdlib: Remove unused file	Jakov Smolic	2021-01-20	1	-1/+0
*	sci-mathematics/agda-stdlib: drop old	Jack Todaro	2020-12-17	2	-69/+0
*	sci-mathematics/agda-stdlib: bump up to 2.6.1.2.1.4	Jack Todaro	2020-12-17	3	-6/+71
*	sci-mathematics/agda-stdlib: drop old	Sergei Trofimovich	2020-10-08	2	-67/+0
*	/: [QA] Remove redundant <longdescription/>s	Michał Górny	2020-09-14	1	-3/+0
*	sci-mathematics/agda-stdlib: update homepage	Alexey Sokolov	2020-05-17	2	-4/+4
*	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	2	-2/+0
*	sci-mathematics/agda-stdlib: add forgotten 'standard-library.agda-lib'	Sergei Trofimovich	2017-02-17	1	-0/+2
*	sci-mathematics/agda-stdlib: bump up to 2.5.2.0.13	Sergei Trofimovich	2017-02-16	2	-0/+70
*	sci-mathematics/agda-stdlib: drop old	Sergei Trofimovich	2016-04-03	4	-203/+0
*	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/{agda,agda-stdlib}: version bump	Jauhien Piatlicki	2016-01-13	2	-0/+68
*	sci-mathematics/agda-stdlib: Replace INSOPTIONS by insopts()	Justin Lecher	2015-11-23	3	-5/+5
*	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	6	-0/+219