summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-284-5/+177
* Bump agda to 2.3.2Mark Wright2012-11-183-5/+106
* Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickc...Mark Wright2012-11-184-3/+141
* move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackageAlexander Vershilov2012-09-124-35/+28
* Add virtual/emacs and app-emacs/haskell-mode depsMark Wright2012-06-024-15/+19
* agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to depsMark Wright2012-04-134-8/+34
* Fix agda 2.3.0.1 build with mtl-2.1Mark Wright2012-04-134-15/+23
* Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0Mark Wright2012-04-014-7/+39
* Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI...Mark Wright2012-03-256-22/+135
* Bump agda to 2.3.0 bug #349460Mark Wright2012-01-235-9/+118
* Make sure the agda library gets registered with ghc.Lennart Kolmodin2010-11-203-8/+15
* Version bump, ebuild originally from markusle (bug #303973). Also forced emac...Sebastien Fabbro2010-09-146-28/+128
* Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since p...Sebastien Fabbro2008-12-055-78/+42
* Fixed several compile and QA issues (fixes bug #232349). Disabled doc useflag...Markus Dittrich2008-07-265-32/+95
* 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-314-20/+24
* add elisp-site-regen to postrm and canonicalise it in postinst; depending on ...Christian Faulhammer2007-09-234-9/+86
* Reassigning to sci from math-proof.Christian Heim2007-07-313-10/+23
* whitespaceMichael Sterrett2007-07-131-14/+4
* whitespaceMichael Sterrett2007-07-131-2/+1
* Added haskell herd and removed myself as maintainer.Alexandre Buisse2007-03-253-16/+16
* Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st...Alexandre Buisse2007-03-185-38/+44
* Initial commitAlexandre Buisse2006-07-127-0/+142