/[gentoo-x86]/sci-mathematics/agda-executable
Gentoo

Index of /sci-mathematics/agda-executable

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

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

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

Files shown:7 (Hide 1 dead files)


File Rev. Age Author Last log entry
 Parent Directory        
ChangeLog  1.5  9 months  gienah  agda-executable must be rebuilt when agda is upgraded (Portage version: 2.2.3/c…
Manifest  1.5  9 months  gienah  agda-executable must be rebuilt when agda is upgraded (Portage version: 2.2.3/c…
agda-executable-2.3.0.1-r1.ebuild  1.1  19 months  gienah  Loosen agda dep in agda-executable-2.3.0.1-r1 to fix build with agda 2.3.2 (Por…
agda-executable-2.3.0.1-r2.ebuild  1.1  9 months  gienah  agda-executable must be rebuilt when agda is upgraded (Portage version: 2.2.3/c…
agda-executable-2.3.0.1.ebuild  1.2  21 months  qnikst  move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to mirr…
agda-executable-2.3.0.ebuild (dead)  1.3  12 months  patrick  Remove version with already removed dependencies (Portage version: 2.2.0_alpha1…
metadata.xml  1.1  2 years  gienah  Add agda-executable, Command-line program for type-checking and compiling Agda p…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20