Index of /sci-mathematics/agda

Anonymous Access: cvs -d :pserver:anonymous@anoncvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/agda

Developer Access: cvs -d :ext:${USER}@cvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/agda

More Information: http://anoncvs.gentoo.org/

File		Rev.	Age	Author	Last log entry
Parent Directory
files/
agda-1.0.2-r2.ebuild		1.2	2 years	bicatali	Version bump, ebuild originally from markusle (bug #303973). Also forced emacs o…
metadata.xml		1.6	13 months	gienah	Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI=4,…
agda-2.3.2.ebuild		1.1	6 months	gienah	Bump agda to 2.3.2 (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifes…
Manifest		1.24	7 weeks	gienah	Loosen hashtables and quickcheck deps in agda 2.3.2-r5 (Portage version: 2.2.0_…
agda-2.3.2-r5.ebuild		1.1	7 weeks	gienah	Loosen hashtables and quickcheck deps in agda 2.3.2-r5 (Portage version: 2.2.0_…
agda-2.3.0.1-r1.ebuild		1.1	6 months	gienah	Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickchec…
ChangeLog		1.21	7 weeks	gienah	Loosen hashtables and quickcheck deps in agda 2.3.2-r5 (Portage version: 2.2.0_…
agda-2.3.2-r2.ebuild		1.1	4 months	gienah	Loosen binary dep, patch for hashable 1.2 (Portage version: 2.1.11.38/cvs/Linux…
agda-2.2.6-r1.ebuild		1.1	2 years	kolmodin	Make sure the agda library gets registered with ghc. (Portage version: 2.1.8.3/c…
agda-2.3.0.1.ebuild		1.6	8 months	qnikst	move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage (Porta…
agda-2.3.0.ebuild		1.5	8 months	qnikst	move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage (Porta…