/[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:6 (Show 2 dead files)


File Rev. Age Author Last log entry
 Parent Directory        
files/         (from /)
ChangeLog  1.5  4 months  gienah  Thanks to vikraman: The agda-lib-ffi package provides some additional haskell mo…
Manifest  1.5  4 months  gienah  Thanks to vikraman: The agda-lib-ffi package provides some additional haskell mo…
agda-stdlib-0.6.ebuild  1.2  15 months  gienah  Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --pre…
agda-stdlib-0.7-r1.ebuild  1.1  4 months  gienah  Thanks to vikraman: The agda-lib-ffi package provides some additional haskell mo…
agda-stdlib-0.7.ebuild  1.1  7 months  gienah  Bump agda-stdlib to 0.7 (Portage version: 2.2.3/cvs/Linux x86_64, signed Manife…
metadata.xml  1.1  2 years  gienah  Thanks to tomprince for adding support for agda-stdlib. (Portage version: 2.1.1…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20