| Commit message (Expand) | Author | Age | Files | Lines |
* | Drop old. | Sergei Trofimovich | 2014-02-25 | 3 | -92/+0 |
* | Patch agda 2.3.2.1 for haskell-src-exts 1.14 | Mark Wright | 2013-09-13 | 1 | -0/+34 |
* | Loosen binary dep, patch for hashable 1.2 | Mark Wright | 2012-12-28 | 1 | -0/+66 |
* | Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickc... | Mark Wright | 2012-11-18 | 1 | -0/+30 |
* | Fix agda 2.3.0.1 build with mtl-2.1 | Mark Wright | 2012-04-13 | 1 | -0/+11 |
* | Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0 | Mark Wright | 2012-04-01 | 1 | -0/+26 |
* | Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI... | Mark Wright | 2012-03-25 | 1 | -0/+27 |
* | Bump agda to 2.3.0 bug #349460 | Mark Wright | 2012-01-23 | 1 | -0/+27 |
* | Version bump, ebuild originally from markusle (bug #303973). Also forced emac... | Sebastien Fabbro | 2010-09-14 | 2 | -0/+37 |
* | Fixed several compile and QA issues (fixes bug #232349). Disabled doc useflag... | Markus Dittrich | 2008-07-26 | 1 | -0/+55 |
* | Remove all old-style digests from the system and regen the Manifest files. | Robin H. Johnson | 2008-01-31 | 2 | -6/+0 |
* | add elisp-site-regen to postrm and canonicalise it in postinst; depending on ... | Christian Faulhammer | 2007-09-23 | 1 | -0/+3 |
* | Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st... | Alexandre Buisse | 2007-03-18 | 2 | -3/+3 |
* | Initial commit | Alexandre Buisse | 2006-07-12 | 3 | -0/+27 |