summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Reassigning to sci from math-proof (see #138059 for reference).Christian Heim2007-07-311-12/+12
* Reassigning to sci from math-proof (see #138059 for reference).Christian Heim2007-07-312-2/+5
* (QA) RESTRICT clean up.Piotr Jaroszyński2007-07-021-16/+16
* (QA) RESTRICT clean up.Piotr Jaroszyński2007-07-023-7/+11
* Redigest for Manifest2Markus Ullmann2007-02-221-8/+18
* Redigest for Manifest2Markus Ullmann2007-02-221-2/+5
* sci-mathematics/coq stable on ppc.Michael Hanselmann2006-09-241-18/+8
* sci-mathematics/coq stable on ppc.Michael Hanselmann2006-09-242-3/+6
* Stable on sparcGustavo Zacarias2006-09-151-8/+18
* Stable on sparcGustavo Zacarias2006-09-152-3/+6
* Mark stable on x86, ppc and amd64Matthieu Sozeau2006-09-141-19/+9
* Mark stable on x86, ppc and amd64Matthieu Sozeau2006-09-142-3/+9
* Added math-proof herd as maintainer of this package instead of sci.Alexandre Buisse2006-07-011-19/+29
* Added math-proof herd as maintainer of this package instead of sci.Alexandre Buisse2006-07-012-2/+6
* Stable on SPARC.Jason Wever2006-05-031-6/+39
* Stable on SPARC.Jason Wever2006-05-034-5/+18
* 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