summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fix bad path of patch.Matthieu Sozeau2006-02-061-2/+2
* Fix bad path of patch.Matthieu Sozeau2006-02-063-9/+12
* Remove old version, incompatible with current ocaml and move current to stabl...Matthieu Sozeau2006-02-041-4/+2
* Remove old version, incompatible with current ocaml and move current to stabl...Matthieu Sozeau2006-02-044-44/+7
* Added latest version, compatible with ocaml-3.09Matthieu Sozeau2006-02-041-4/+4
* Added latest version, compatible with ocaml-3.09Matthieu Sozeau2006-02-047-33/+37
* added ~amd64 to KEYWORDS, fixes #88950Jan Brinkmann2005-04-131-4/+14
* added ~amd64 to KEYWORDS, fixes #88950Jan Brinkmann2005-04-135-23/+16
* Fixed ChangeLog header. (Manifest recommit)Sven Wegener2004-12-281-4/+14
* Fixed ChangeLog header.Sven Wegener2004-12-281-2/+2
* Moved from app-sci/coq to sci-mathematics/coq.Olivier Fisette2004-12-2813-0/+353