summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* remove oldAlexis Ballier2011-07-064-305/+0
| | | | Package-Manager: portage-2.2.0_alpha43/cvs/Linux x86_64
* Added camlp5-6 support to the 8.2 branch (bug 355297), patch by ↵Thomas Kahle2011-02-201-0/+131
| | | | | | Jonathan-Christofer Demay Package-Manager: portage-2.1.9.40/cvs/Linux i686
* adding compatibility patches for make-3.82 and camlp5-6.02.0, fixes bug #346061Thomas Kahle2010-11-202-0/+161
| | | | Package-Manager: portage-2.1.9.24/cvs/Linux i686
* Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò.Samuli Suominen2010-10-181-0/+13
| | | | Package-Manager: portage-2.2_rc97/cvs/Linux x86_64
* remove oldAlexis Ballier2010-03-102-36/+0
| | | | Package-Manager: portage-2.2_rc67/cvs/Linux x86_64
* Remove all old-style digests from the system and regen the Manifest files.Robin H. Johnson2008-01-314-18/+0
|
* Add support for building without ocamlopt, import smimou's patches from ↵Alexis Ballier2008-01-033-1/+37
| | | | | | debian to allow it. Fix desktop entry categories. Package-Manager: portage-2.1.4_rc14
* version bumpAlexis Ballier2007-12-171-0/+3
| | | | Package-Manager: portage-2.1.4_rc10
* remove old versionsAlexis Ballier2007-10-204-65/+0
| | | | Package-Manager: portage-2.1.3.15
* version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though)Alexis Ballier2007-10-201-0/+3
| | | | Package-Manager: portage-2.1.3.15
* Version bump (see bug #192522).Markus Dittrich2007-09-291-0/+3
| | | | Package-Manager: portage-2.1.3.9
* Stable on SPARC.Jason Wever2006-05-032-2/+12
| | | | Package-Manager: portage-2.1_pre10-r2
* Remove old version, incompatible with current ocaml and move current to ↵Matthieu Sozeau2006-02-041-1/+0
| | | | | | stable (over a year of testing:) Package-Manager: portage-2.0.51.22-r1
* Added latest version, compatible with ocaml-3.09Matthieu Sozeau2006-02-042-2/+3
| | | | Package-Manager: portage-2.0.51.22-r1
* Moved from app-sci/coq to sci-mathematics/coq.Olivier Fisette2004-12-287-0/+74