Index of /sci-mathematics/agda-stdlib

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

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

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

File		Rev.	Age	Author	Last log entry
Parent Directory
files/					(from /)
ChangeLog		1.3	5 months	gienah	Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --pre…
Manifest		1.3	5 months	gienah	Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --pre…
agda-stdlib-0.6.ebuild		1.2	5 months	gienah	Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --pre…
agda-stdlib-0.7_pre20121118.ebuild		1.2	5 months	gienah	Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --pre…
agda-stdlib-0.7_pre20130109.ebuild		1.1	5 months	gienah	Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --pre…
metadata.xml		1.1	14 months	gienah	Thanks to tomprince for adding support for agda-stdlib. (Portage version: 2.1.1…