summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Version bump, ebuild originally from markusle (bug #303973). Also forced ↵Sebastien Fabbro2010-09-146-28/+128
| | | | | | emacs on dependencies (thanks to ulm, bug #336741) Package-Manager: portage-2.2_rc81/cvs/Linux x86_64
* Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since ↵Sebastien Fabbro2008-12-055-78/+42
| | | | | | parallel building seems to work again. Package-Manager: portage-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-265-32/+95
| | | | | | useflag for now since installation of html docs is broken. Package-Manager: portage-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-314-20/+24
| | | | Package-Manager: portage-2.1.3.16
* add elisp-site-regen to postrm and canonicalise it in postinst; depending on ↵Christian Faulhammer2007-09-234-9/+86
| | | | | | USE=emacs Package-Manager: portage-2.1.3.9
* Reassigning to sci from math-proof.Christian Heim2007-07-313-10/+23
| | | | Package-Manager: portage-2.1.3_rc9
* whitespaceMichael Sterrett2007-07-131-14/+4
| | | | Package-Manager: portage-2.1.2.9
* whitespaceMichael Sterrett2007-07-131-2/+1
| | | | Package-Manager: portage-2.1.2.9
* Added haskell herd and removed myself as maintainer.Alexandre Buisse2007-03-253-16/+16
| | | | Package-Manager: portage-2.1.2.2
* Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is ↵Alexandre Buisse2007-03-185-38/+44
| | | | | | stable enough. Package-Manager: portage-2.1.2.1
* Initial commitAlexandre Buisse2006-07-127-0/+142
Package-Manager: portage-2.1.1_pre2-r6