summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Fixed several compile and QA issues (fixes bug #232349). Disabled doc ↵Markus Dittrich2008-07-261-3/+4
| | | | | | | useflag for now since installation of html docs is broken. (Portage version: 2.2_rc3/cvs/Linux 2.6.25-SENTINEL-5 i686) (Unsigned Manifest commit)
* Fixed several compile and QA issues (fixes bug #232349). Disabled doc ↵Markus Dittrich2008-07-264-29/+91
| | | | | | useflag for now since installation of html docs is broken. (Portage version: 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-311-15/+15
| | | | | (Portage version: 2.1.3.16) (Signed Manifest commit)
* Drop virtual/ghc in favour of dev-lang/ghcDuncan Coutts2007-10-313-5/+9
| | | | (Portage version: 2.1.3.16)
* add elisp-site-regen to postrm and canonicalise it in postinst; depending on ↵Christian Faulhammer2007-09-231-8/+15
| | | | | | | USE=emacs (Portage version: 2.1.3.9) (Signed Manifest commit)
* add elisp-site-regen to postrm and canonicalise it in postinst; depending on ↵Christian Faulhammer2007-09-233-1/+71
| | | | | | USE=emacs (Portage version: 2.1.3.9)
* Reassigning to sci from math-proof.Christian Heim2007-07-311-8/+18
| | | | | (Portage version: 2.1.3_rc9) (Signed Manifest commit)
* Reassigning to sci from math-proof.Christian Heim2007-07-312-2/+5
| | | | (Portage version: 2.1.3_rc9)
* whitespaceMichael Sterrett2007-07-131-14/+4
| | | | | (Portage version: 2.1.2.9) (Unsigned Manifest commit)
* whitespaceMichael Sterrett2007-07-131-2/+1
| | | | (Portage version: 2.1.2.9)
* Added haskell herd and removed myself as maintainer.Alexandre Buisse2007-03-251-11/+11
| | | | | (Portage version: 2.1.2.2) (Signed Manifest commit)
* Added haskell herd and removed myself as maintainer.Alexandre Buisse2007-03-252-5/+5
| | | | (Portage version: 2.1.2.2)
* Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is ↵Alexandre Buisse2007-03-181-16/+16
| | | | | | | stable enough. (Portage version: 2.1.2.1) (Signed Manifest commit)
* Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is ↵Alexandre Buisse2007-03-184-22/+28
| | | | | | stable enough. (Portage version: 2.1.2.1)
* Initial commitAlexandre Buisse2006-07-121-8/+18
| | | | | (Portage version: 2.1.1_pre2-r6) (Signed Manifest commit)
* Initial commitAlexandre Buisse2006-07-127-0/+132
(Portage version: 2.1.1_pre2-r6)