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

Index of /sci-mathematics/agda

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

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

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

Files shown:20 (Hide 14 dead files)


File Rev. Age Author Last log entry
 Parent Directory        
files/         (from /)
ChangeLog  1.33  3 years  gienah  Bump agda to 2.4.2.3-r1 (Portage version: 2.2.20/cvs/Linux x86_64, signed Manif…
Manifest  1.36  3 years  gienah  Bump agda to 2.4.2.3-r1 (Portage version: 2.2.20/cvs/Linux x86_64, signed Manif…
agda-1.0.2-r1.ebuild (dead)  1.4  9 years  bicatali  Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since para…
agda-1.0.2-r2.ebuild (dead)  1.3  4 years  slyfox  Drop old. (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with…
agda-1.0.2.ebuild (dead)  1.5  9 years  bicatali  Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since para…
agda-2.2.6-r1.ebuild (dead)  1.2  4 years  slyfox  Drop old. (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with…
agda-2.2.6.ebuild (dead)  1.2  7 years  kolmodin  Make sure the agda library gets registered with ghc. (Portage version: 2.1.8.3/c…
agda-2.3.0.1-r1.ebuild (dead)  1.2  3 years  patrick  Drop old with now unsatisfied dep on dev-haskell/hashtables (Portage version: 2…
agda-2.3.0.1.ebuild (dead)  1.7  3 years  patrick  Drop old with now unsatisfied dep on dev-haskell/hashtables (Portage version: 2…
agda-2.3.0.ebuild (dead)  1.6  5 years  slyfox  Drop old. (Portage version: 2.2.0_alpha177_p3/cvs/Linux x86_64, signed Manifest…
agda-2.3.2-r2.ebuild (dead)  1.2  3 years  patrick  Drop old with now unsatisfied dep on dev-haskell/hashtables (Portage version: 2…
agda-2.3.2-r5.ebuild (dead)  1.2  3 years  slyfox  Drop old. (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit wit…
agda-2.3.2.1-r1.ebuild (dead)  1.3  3 years  slyfox  Drop old. (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit wit…
agda-2.3.2.2-r1.ebuild (dead)  1.3  3 years  slyfox  Drop old. (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit wit…
agda-2.3.2.ebuild (dead)  1.2  3 years  patrick  Drop old with now unsatisfied dep on dev-haskell/hashtables (Portage version: 2…
agda-2.4.0.1.ebuild  1.1  4 years  gienah  Bump agda to 2.4.0.1 (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest…
agda-2.4.2.2-r1.ebuild  1.2  3 years  gienah  Loosen cpphs dep in agda-2.4.2.2-r1 (Portage version: 2.2.18/cvs/Linux x86_64, …
agda-2.4.2.3-r1.ebuild  1.1  3 years  gienah  Bump agda to 2.4.2.3-r1 (Portage version: 2.2.20/cvs/Linux x86_64, signed Manif…
agda-20050601.ebuild (dead)  1.2  11 years  nattfodd  Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is stabl…
metadata.xml  1.7  3 years  gienah  Bump agda to 2.4.2.2-r1 (Portage version: 2.2.15/cvs/Linux x86_64, signed Manif…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20