summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò.Samuli Suominen2010-10-181-0/+13
* remove oldAlexis Ballier2010-03-102-36/+0
* 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 debia...Alexis Ballier2008-01-033-1/+37
* version bumpAlexis Ballier2007-12-171-0/+3
* remove old versionsAlexis Ballier2007-10-204-65/+0
* version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though)Alexis Ballier2007-10-201-0/+3
* Version bump (see bug #192522).Markus Dittrich2007-09-291-0/+3
* Stable on SPARC.Jason Wever2006-05-032-2/+12
* Remove old version, incompatible with current ocaml and move current to stabl...Matthieu Sozeau2006-02-041-1/+0
* Added latest version, compatible with ocaml-3.09Matthieu Sozeau2006-02-042-2/+3
* Moved from app-sci/coq to sci-mathematics/coq.Olivier Fisette2004-12-287-0/+74