summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Drop old patchesMark Wright2015-01-295-121/+0
* Drop old.Sergei Trofimovich2014-02-253-92/+0
* Patch agda 2.3.2.1 for haskell-src-exts 1.14Mark Wright2013-09-131-0/+34
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-281-0/+66
* Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickc...Mark Wright2012-11-181-0/+30
* Fix agda 2.3.0.1 build with mtl-2.1Mark Wright2012-04-131-0/+11
* Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0Mark Wright2012-04-011-0/+26
* Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI...Mark Wright2012-03-251-0/+27
* Bump agda to 2.3.0 bug #349460Mark Wright2012-01-231-0/+27
* Version bump, ebuild originally from markusle (bug #303973). Also forced emac...Sebastien Fabbro2010-09-142-0/+37
* Fixed several compile and QA issues (fixes bug #232349). Disabled doc useflag...Markus Dittrich2008-07-261-0/+55
* Remove all old-style digests from the system and regen the Manifest files.Robin H. Johnson2008-01-312-6/+0
* add elisp-site-regen to postrm and canonicalise it in postinst; depending on ...Christian Faulhammer2007-09-231-0/+3
* Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st...Alexandre Buisse2007-03-182-3/+3
* Initial commitAlexandre Buisse2006-07-123-0/+27