/[gentoo-x86]/sci-mathematics/agda-stdlib
Gentoo

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/

Files shown:8 (Show 2 dead files)


File Rev. Age Author Last log entry
 Parent Directory        
files/         (from /)
metadata.xml  1.2  5 months  gienah  Bump agda-stdlib to 0.8 (Portage version: 2.2.10/cvs/Linux x86_64, signed Manif…
agda-stdlib-0.6.ebuild  1.2  23 months  gienah  Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --pre…
Manifest  1.7  4 days  gienah  Bump agda-stdlib to 0.9 (Portage version: 2.2.15/cvs/Linux x86_64, signed Manif…
agda-stdlib-0.7-r1.ebuild  1.1  12 months  gienah  Thanks to vikraman: The agda-lib-ffi package provides some additional haskell mo…
agda-stdlib-0.7.ebuild  1.1  15 months  gienah  Bump agda-stdlib to 0.7 (Portage version: 2.2.3/cvs/Linux x86_64, signed Manife…
ChangeLog  1.7  4 days  gienah  Bump agda-stdlib to 0.9 (Portage version: 2.2.15/cvs/Linux x86_64, signed Manif…
agda-stdlib-0.8.ebuild  1.1  5 months  gienah  Bump agda-stdlib to 0.8 (Portage version: 2.2.10/cvs/Linux x86_64, signed Manif…
agda-stdlib-0.9.ebuild  1.1  4 days  gienah  Bump agda-stdlib to 0.9 (Portage version: 2.2.15/cvs/Linux x86_64, signed Manif…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20