Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda
Commit message (Collapse)AuthorAgeFilesLines
* Drop old.Sergei Trofimovich2014-02-251-12/+5
| | | | (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)
* Drop old.Sergei Trofimovich2014-02-257-209/+19
| | | | (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)
* Bump agda to 2.3.2.2-r1Mark Wright2013-12-101-4/+6
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda to 2.3.2.2-r1Mark Wright2013-12-102-1/+114
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, ↵Mark Wright2013-10-191-6/+6
| | | | | | fixes https://code.google.com/p/agda/issues/detail?id=792. Loosen the alex DEPEND. (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, ↵Mark Wright2013-10-192-3/+15
| | | | | | fixes https://code.google.com/p/agda/issues/detail?id=792. Loosen the alex DEPEND. (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Patch agda 2.3.2.1 for haskell-src-exts 1.14Mark Wright2013-09-131-4/+7
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Patch agda 2.3.2.1 for haskell-src-exts 1.14Mark Wright2013-09-133-1/+144
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Drop old.Sergei Trofimovich2013-06-191-9/+7
| | | | (Portage version: 2.2.0_alpha177_p3/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)
* Drop old.Sergei Trofimovich2013-06-192-83/+4
| | | | (Portage version: 2.2.0_alpha177_p3/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)
* Loosen hashtables and quickcheck deps in agda 2.3.2-r5Mark Wright2013-04-021-4/+5
| | | | (Portage version: 2.2.0_alpha171/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Loosen hashtables and quickcheck deps in agda 2.3.2-r5Mark Wright2013-04-022-2/+108
| | | | (Portage version: 2.2.0_alpha171/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-281-4/+6
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-283-1/+171
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda to 2.3.2Mark Wright2012-11-181-4/+6
| | | | (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda to 2.3.2Mark Wright2012-11-182-1/+100
| | | | (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with ↵Mark Wright2012-11-181-2/+14
| | | | | | quickcheck 2.5 (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with ↵Mark Wright2012-11-183-1/+127
| | | | | | quickcheck 2.5 (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackageAlexander Vershilov2012-09-121-29/+19
| | | | (Portage version: 2.2.0_alpha125/cvs/Linux x86_64, unsigned Manifest commit)
* move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackageAlexander Vershilov2012-09-123-6/+9
| | | | (Portage version: 2.2.0_alpha125/cvs/Linux x86_64)
* Add virtual/emacs and app-emacs/haskell-mode depsMark Wright2012-06-021-6/+6
| | | | (Portage version: 2.1.10.64/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add virtual/emacs and app-emacs/haskell-mode depsMark Wright2012-06-023-9/+13
| | | | (Portage version: 2.1.10.64/cvs/Linux x86_64)
* agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to depsMark Wright2012-04-131-3/+13
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to depsMark Wright2012-04-133-5/+21
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64)
* Fix agda 2.3.0.1 build with mtl-2.1Mark Wright2012-04-131-12/+3
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64, unsigned Manifest commit)
* Fix agda 2.3.0.1 build with mtl-2.1Mark Wright2012-04-133-3/+20
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64)
* Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0Mark Wright2012-04-011-5/+6
| | | | (Portage version: 2.1.10.52/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0Mark Wright2012-04-013-2/+33
| | | | (Portage version: 2.1.10.52/cvs/Linux x86_64)
* Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, ↵Mark Wright2012-03-251-6/+9
| | | | | | EAPI=4, [profile?] for haskell lib depends. (Portage version: 2.1.10.51/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, ↵Mark Wright2012-03-255-16/+126
| | | | | | EAPI=4, [profile?] for haskell lib depends. (Portage version: 2.1.10.51/cvs/Linux x86_64)
* Bump agda to 2.3.0 bug #349460Mark Wright2012-01-231-7/+10
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda to 2.3.0 bug #349460Mark Wright2012-01-234-2/+108
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Make sure the agda library gets registered with ghc.Lennart Kolmodin2010-11-201-5/+5
| | | | | (Portage version: 2.1.8.3/cvs/Linux x86_64) (Signed Manifest commit)
* Make sure the agda library gets registered with ghc.Lennart Kolmodin2010-11-202-3/+10
| | | | (Portage version: 2.1.8.3/cvs/Linux x86_64)
* Version bump, ebuild originally from markusle (bug #303973). Also forced ↵Sebastien Fabbro2010-09-141-6/+10
| | | | | | emacs on dependencies (thanks to ulm, bug #336741) (Portage version: 2.2_rc81/cvs/Linux x86_64, signed Manifest commit)
* Version bump, ebuild originally from markusle (bug #303973). Also forced ↵Sebastien Fabbro2010-09-145-22/+118
| | | | | | emacs on dependencies (thanks to ulm, bug #336741) (Portage version: 2.2_rc81/cvs/Linux x86_64)
* Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since ↵Sebastien Fabbro2008-12-051-4/+13
| | | | | | | parallel building seems to work again. (Portage version: 2.2_rc16/cvs/Linux 2.6.25-gentoo-r7 x86_64) (Signed Manifest commit)
* Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since ↵Sebastien Fabbro2008-12-054-74/+29
| | | | | | parallel building seems to work again. (Portage version: 2.2_rc16/cvs/Linux 2.6.25-gentoo-r7 x86_64)
* Fixed several compile and QA issues (fixes bug #232349). Disabled doc ↵Markus Dittrich2008-07-261-3/+4
| | | | | | | useflag for now since installation of html docs is broken. (Portage version: 2.2_rc3/cvs/Linux 2.6.25-SENTINEL-5 i686) (Unsigned Manifest commit)
* Fixed several compile and QA issues (fixes bug #232349). Disabled doc ↵Markus Dittrich2008-07-264-29/+91
| | | | | | useflag for now since installation of html docs is broken. (Portage version: 2.2_rc3/cvs/Linux 2.6.25-SENTINEL-5 i686)
* Remove all old-style digests from the system and regen the Manifest files.Robin H. Johnson2008-01-313-40/+0
|
* Drop virtual/ghc in favour of dev-lang/ghcDuncan Coutts2007-10-311-15/+15
| | | | | (Portage version: 2.1.3.16) (Signed Manifest commit)
* Drop virtual/ghc in favour of dev-lang/ghcDuncan Coutts2007-10-313-5/+9
| | | | (Portage version: 2.1.3.16)
* add elisp-site-regen to postrm and canonicalise it in postinst; depending on ↵Christian Faulhammer2007-09-231-8/+15
| | | | | | | USE=emacs (Portage version: 2.1.3.9) (Signed Manifest commit)
* add elisp-site-regen to postrm and canonicalise it in postinst; depending on ↵Christian Faulhammer2007-09-233-1/+71
| | | | | | USE=emacs (Portage version: 2.1.3.9)
* Reassigning to sci from math-proof.Christian Heim2007-07-311-8/+18
| | | | | (Portage version: 2.1.3_rc9) (Signed Manifest commit)
* Reassigning to sci from math-proof.Christian Heim2007-07-312-2/+5
| | | | (Portage version: 2.1.3_rc9)
* whitespaceMichael Sterrett2007-07-131-14/+4
| | | | | (Portage version: 2.1.2.9) (Unsigned Manifest commit)
* whitespaceMichael Sterrett2007-07-131-2/+1
| | | | (Portage version: 2.1.2.9)
* Added haskell herd and removed myself as maintainer.Alexandre Buisse2007-03-251-11/+11
| | | | | (Portage version: 2.1.2.2) (Signed Manifest commit)