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

Index of /sci-mathematics/agda/files

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

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

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

Files shown:9 (Show 6 dead files)


File Rev. Age Author Last log entry
 Parent Directory        
50agda2-gentoo.el  1.1  4 years  bicatali  Version bump, ebuild originally from markusle (bug #303973). Also forced emacs o…
agda-2.3.0-emacs.patch  1.1  2 years  gienah  Bump agda to 2.3.0 bug #349460 (Portage version: 2.1.10.44/cvs/Linux x86_64)
agda-2.3.0.1-emacs.patch  1.1  2 years  gienah  Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI=4,…
agda-2.3.0.1-haskell-src-exts-1.13.patch  1.1  2 years  gienah  Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0 (Portage version: 2.1.10.52…
agda-2.3.0.1-mtl-2.1.patch  1.1  2 years  gienah  Fix agda 2.3.0.1 build with mtl-2.1 (Portage version: 2.1.10.56/cvs/Linux x86_6…
agda-2.3.0.1-quickcheck-2.5.patch  1.1  22 months  gienah  Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickchec…
agda-2.3.2-hashable-1.2.patch  1.1  20 months  gienah  Loosen binary dep, patch for hashable 1.2 (Portage version: 2.1.11.38/cvs/Linux…
agda-2.3.2.1-haskell-src-exts-1.14.patch  1.1  12 months  gienah  Patch agda 2.3.2.1 for haskell-src-exts 1.14 (Portage version: 2.2.3/cvs/Linux …
agda-make_install.patch  1.1  8 years  nattfodd  Initial commit (Portage version: 2.1.1_pre2-r6)

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20