summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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