/[gentoo-x86]/sci-mathematics/agda-stdlib/files
Gentoo

Index of /sci-mathematics/agda-stdlib/files

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

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

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

Files shown:1


File Rev. Age Author Last log entry
 Parent Directory        
50agda-stdlib-gentoo.el  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