summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Remove all old-style digests from the system and regen the Manifest files.Robin H. Johnson2008-01-315-67/+0
* restrict also installsources as it has the same problem with ocaml... it kill...Alexis Ballier2008-01-163-14/+18
* disable again parallel make... not safe in some rare cases, bug #197389Alexis Ballier2008-01-163-12/+24
* whitespaceMichael Sterrett2008-01-032-16/+5
* Add support for building without ocamlopt, import smimou's patches from debia...Alexis Ballier2008-01-036-23/+101
* fix depends so that portage doesnt try to downgrade ocaml if you have 3.10 in...Alexis Ballier2007-12-194-20/+25
* no need to dodoc the licenseAlexis Ballier2007-12-175-26/+30
* version bumpAlexis Ballier2007-12-174-8/+90
* quote directory variablesAlexis Ballier2007-10-204-25/+29
* remove old versionsAlexis Ballier2007-10-207-182/+13
* version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though)Alexis Ballier2007-10-204-8/+90
* fix configure call when ide and norealanalysis useflags are set, bug #195483Alexis Ballier2007-10-113-11/+24
* Version bump (see bug #192522).Markus Dittrich2007-09-294-16/+88
* Removing mattam from metadata due to his retirement (see #30021 for reference).Christian Heim2007-08-303-16/+16
* 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-243-21/+14
* Stable on sparcGustavo Zacarias2006-09-153-11/+24
* Mark stable on x86, ppc and amd64Matthieu Sozeau2006-09-143-22/+18
* 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-035-11/+57
* 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-045-48/+9
* Added latest version, compatible with ocaml-3.09Matthieu Sozeau2006-02-047-33/+37
* added ~amd64 to KEYWORDS, fixes #88950Jan Brinkmann2005-04-135-17/+20
* Fixed ChangeLog header.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