Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq/Manifest
Commit message (Expand)AuthorAgeFilesLines
* remove oldAlexis Ballier2009-05-181-5/+12
* whitespaceMichael Sterrett2009-02-191-11/+1
* version bump, bug #257540Alexis Ballier2009-02-181-1/+13
* ppc stable #254073Gysbert Wassenaar2009-01-171-12/+2
* x86 stable, bug #254073Markus Meier2009-01-121-2/+12
* Sparc stable, Bug #254073.Ferris McCormick2009-01-121-2/+2
* amd64 stable, bug 254073Jeremy Olexa2009-01-121-2/+2
* whitespaceMichael Sterrett2008-12-311-11/+1
* Version bump by Sigmatador <sigmatador@gmail.com>, bug #245802. Rename the id...Alexis Ballier2008-11-071-4/+6
* EAPI-2 revision; force ocaml 3.10 and camlp5 support now that it's stable eve...Alexis Ballier2008-10-171-5/+6
* Add USE flag description to metadata wrt GLEP 56.Ulrich Müller2008-08-061-6/+6
* remove oldAlexis Ballier2008-04-081-5/+11
* sparc stable wrt #215746Raúl Porcel2008-04-081-12/+2
* amd64/x86 stable, bug #215746Markus Meier2008-04-061-2/+12
* stable ppc, bug 215746Brent Baude2008-04-031-12/+2
* remove unused versionAlexis Ballier2008-04-011-9/+5
* Fixed encoding in ChangeLogTorsten Veller2008-03-061-1/+11
* Remove all old-style digests from the system and regen the Manifest files.Robin H. Johnson2008-01-311-49/+0
* restrict also installsources as it has the same problem with ocaml... it kill...Alexis Ballier2008-01-161-11/+11
* disable again parallel make... not safe in some rare cases, bug #197389Alexis Ballier2008-01-161-8/+18
* whitespaceMichael Sterrett2008-01-031-14/+4
* Add support for building without ocamlopt, import smimou's patches from debia...Alexis Ballier2008-01-031-16/+24
* fix depends so that portage doesnt try to downgrade ocaml if you have 3.10 in...Alexis Ballier2007-12-191-15/+15
* no need to dodoc the licenseAlexis Ballier2007-12-171-19/+19
* version bumpAlexis Ballier2007-12-171-7/+15
* quote directory variablesAlexis Ballier2007-10-201-15/+15
* remove old versionsAlexis Ballier2007-10-201-28/+7
* version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though)Alexis Ballier2007-10-201-7/+15
* fix configure call when ide and norealanalysis useflags are set, bug #195483Alexis Ballier2007-10-111-8/+18
* Version bump (see bug #192522).Markus Dittrich2007-09-291-14/+12
* Removing mattam from metadata due to his retirement (see #30021 for reference).Christian Heim2007-08-301-12/+12
* Reassigning to sci from math-proof (see #138059 for reference).Christian Heim2007-07-311-12/+12
* (QA) RESTRICT clean up.Piotr Jaroszyński2007-07-021-16/+16
* Redigest for Manifest2Markus Ullmann2007-02-221-8/+18
* sci-mathematics/coq stable on ppc.Michael Hanselmann2006-09-241-18/+8
* Stable on sparcGustavo Zacarias2006-09-151-8/+18
* Mark stable on x86, ppc and amd64Matthieu Sozeau2006-09-141-19/+9
* Added math-proof herd as maintainer of this package instead of sci.Alexandre Buisse2006-07-011-19/+29
* Stable on SPARC.Jason Wever2006-05-031-6/+39
* Fix bad path of patch.Matthieu Sozeau2006-02-061-2/+2
* Fix bad path of patch.Matthieu Sozeau2006-02-061-6/+6
* Remove old version, incompatible with current ocaml and move current to stabl...Matthieu Sozeau2006-02-041-4/+2
* Added latest version, compatible with ocaml-3.09Matthieu Sozeau2006-02-041-4/+4
* Added latest version, compatible with ocaml-3.09Matthieu Sozeau2006-02-041-15/+5
* added ~amd64 to KEYWORDS, fixes #88950Jan Brinkmann2005-04-131-4/+14
* added ~amd64 to KEYWORDS, fixes #88950Jan Brinkmann2005-04-131-14/+4
* Fixed ChangeLog header. (Manifest recommit)Sven Wegener2004-12-281-4/+14
* Moved from app-sci/coq to sci-mathematics/coq.Olivier Fisette2004-12-281-0/+12