/[gentoo-x86]/sci-mathematics/agda-lib-ffi
Gentoo

Index of /sci-mathematics/agda-lib-ffi

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

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

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

Files shown:5


File Rev. Age Author Last log entry
 Parent Directory        
ChangeLog  1.4  11 months  gienah  Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3 (Portage version: 2.2.20/…
Manifest  1.6  11 months  jlec  Updating remote-id in metadata.xml (Portage version: 2.2.20/cvs/Linux x86_64, s…
agda-lib-ffi-0.0.2-r2.ebuild  1.1  11 months  gienah  Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3 (Portage version: 2.2.20/…
agda-lib-ffi-0.0.2.ebuild  1.3  13 months  slyfox  Port to upcoming ghc-7.10. (Portage version: 2.2.20/cvs/Linux x86_64, signed Ma…
metadata.xml  1.2  11 months  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