/[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:4


File Rev. Age Author Last log entry
 Parent Directory        
ChangeLog  1.3  8 weeks  slyfox  Port to upcoming ghc-7.10. (Portage version: 2.2.20/cvs/Linux x86_64, signed Ma…
Manifest  1.4  8 weeks  slyfox  Port to upcoming ghc-7.10. (Portage version: 2.2.20/cvs/Linux x86_64, signed Ma…
agda-lib-ffi-0.0.2.ebuild  1.3  8 weeks  slyfox  Port to upcoming ghc-7.10. (Portage version: 2.2.20/cvs/Linux x86_64, signed Ma…
metadata.xml  1.1  12 months  gienah  Thanks to vikraman for writing the agda-lib-ffi ebuild (Portage version: 2.2.10…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20