/[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:12 (Show 7 dead files)


File Rev. Age Author Last log entry
 Parent Directory        
files/         (from /)
agda-2.3.2.ebuild  1.1  2 years  gienah  Bump agda to 2.3.2 (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifes…
agda-2.4.0.1.ebuild  1.1  5 months  gienah  Bump agda to 2.4.0.1 (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest…
metadata.xml  1.7  5 days  gienah  Bump agda to 2.4.2.2-r1 (Portage version: 2.2.15/cvs/Linux x86_64, signed Manif…
Manifest  1.31  5 days  gienah  Bump agda to 2.4.2.2-r1 (Portage version: 2.2.15/cvs/Linux x86_64, signed Manif…
agda-2.4.2.2-r1.ebuild  1.1  5 days  gienah  Bump agda to 2.4.2.2-r1 (Portage version: 2.2.15/cvs/Linux x86_64, signed Manif…
ChangeLog  1.28  5 days  gienah  Bump agda to 2.4.2.2-r1 (Portage version: 2.2.15/cvs/Linux x86_64, signed Manif…
agda-2.3.2.1-r1.ebuild  1.2  14 months  gienah  Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, fixe…
agda-2.3.2.2-r1.ebuild  1.2  9 months  slyfox  Drop old. (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with…
agda-2.3.2-r2.ebuild  1.1  23 months  gienah  Loosen binary dep, patch for hashable 1.2 (Portage version: 2.1.11.38/cvs/Linux…
agda-2.3.2-r5.ebuild  1.1  20 months  gienah  Loosen hashtables and quickcheck deps in agda 2.3.2-r5 (Portage version: 2.2.0_…
agda-2.3.0.1-r1.ebuild  1.1  2 years  gienah  Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickchec…
agda-2.3.0.1.ebuild  1.6  2 years  qnikst  move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage (Porta…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20