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


File Rev. Age Author Last log entry
 Parent Directory        
files/         (from /)
ChangeLog  1.8  5 months  patrick  Remove old version with unsatisfied dependencies (Portage version: 2.2.15/cvs/L…
Manifest  1.9  2 weeks  jlec  Updating remote-id in metadata.xml (Portage version: 2.2.20/cvs/Linux x86_64, s…
agda-stdlib-0.7-r1.ebuild  1.1  18 months  gienah  Thanks to vikraman: The agda-lib-ffi package provides some additional haskell mo…
agda-stdlib-0.7.ebuild  1.1  21 months  gienah  Bump agda-stdlib to 0.7 (Portage version: 2.2.3/cvs/Linux x86_64, signed Manife…
agda-stdlib-0.8.ebuild  1.1  12 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  6 months  gienah  Bump agda-stdlib to 0.9 (Portage version: 2.2.15/cvs/Linux x86_64, signed Manif…
metadata.xml  1.3  2 weeks  jlec  Updating remote-id in metadata.xml (Portage version: 2.2.20/cvs/Linux x86_64, s…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20