/[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:11 (Hide 5 dead files)


File Rev. Age Author Last log entry
 Parent Directory        
files/         (from /)
ChangeLog  1.10  23 months  gienah  Bump agda-stdlib to 2.4.2.3 (Portage version: 2.2.20/cvs/Linux x86_64, signed M…
Manifest  1.11  23 months  gienah  Bump agda-stdlib to 2.4.2.3 (Portage version: 2.2.20/cvs/Linux x86_64, signed M…
agda-stdlib-0.6.ebuild (dead)  1.3  2 years  patrick  Remove old version with unsatisfied dependencies (Portage version: 2.2.15/cvs/L…
agda-stdlib-0.7-r1.ebuild (dead)  1.2  23 months  slyfox  Drop old. (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit wit…
agda-stdlib-0.7.ebuild (dead)  1.2  23 months  slyfox  Drop old. (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit wit…
agda-stdlib-0.7_pre20121118.ebuild (dead)  1.3  3 years  gienah  Thanks to vikraman: The agda-lib-ffi package provides some additional haskell mo…
agda-stdlib-0.7_pre20130109.ebuild (dead)  1.2  3 years  gienah  Thanks to vikraman: The agda-lib-ffi package provides some additional haskell mo…
agda-stdlib-0.8.ebuild  1.1  3 years  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  2 years  gienah  Bump agda-stdlib to 0.9 (Portage version: 2.2.15/cvs/Linux x86_64, signed Manif…
agda-stdlib-2.4.2.3.ebuild  1.1  23 months  gienah  Bump agda-stdlib to 2.4.2.3 (Portage version: 2.2.20/cvs/Linux x86_64, signed M…
metadata.xml  1.3  2 years  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