Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq/ChangeLog
Commit message (Expand)AuthorAgeFilesLines
* adding compatibility patches for make-3.82 and camlp5-6.02.0, fixes bug #346061Thomas Kahle2010-11-201-1/+6
* bump to 8.3, fixes bug 341279Thomas Kahle2010-11-181-1/+6
* depend on texlive-latexextra for comment.sty, bug #342797 by Bartek 'Paczesio...Alexis Ballier2010-11-111-1/+6
* Depend on netpbm[zlib] for pnmtops, bug #310305Alexis Ballier2010-11-111-1/+5
* Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò.Samuli Suominen2010-10-181-1/+5
* BumpSebastien Fabbro2010-09-271-1/+7
* Add missing netpbm dep for USE=doc, by Christian D. <ThyrusG@gmx.de>, bug #3...Alexis Ballier2010-04-091-1/+5
* remove oldAlexis Ballier2010-03-101-1/+5
* Added dev-texlive/texlive-pictures, bug #292630Sebastien Fabbro2010-01-201-2/+5
* sparc stable wrt #291786Raúl Porcel2009-12-271-1/+4
* amd64/x86 stable, bug #291786Markus Meier2009-11-091-1/+4
* ppc stable #291786Gysbert Wassenaar2009-11-081-1/+4
* Add missing dep on tl-mathextra for doc, by Arttu Valo <arttuv69@gmail.com>, ...Alexis Ballier2009-10-151-1/+5
* remove oldAlexis Ballier2009-10-131-1/+5
* dont prestrip files, bug #274321Alexis Ballier2009-09-191-1/+6
* Fix typo: s/RDPEND/RDEPEND/Torsten Veller2009-09-181-1/+5
* version bumpAlexis Ballier2009-08-271-1/+6
* remove oldAlexis Ballier2009-05-181-2/+6
* version bump, bug #257540Alexis Ballier2009-02-181-1/+6
* ppc stable #254073Gysbert Wassenaar2009-01-171-1/+4
* x86 stable, bug #254073Markus Meier2009-01-121-1/+4
* Sparc stable, Bug #254073.Ferris McCormick2009-01-121-1/+4
* amd64 stable, bug 254073Jeremy Olexa2009-01-121-2/+5
* Version bump by Sigmatador <sigmatador@gmail.com>, bug #245802. Rename the id...Alexis Ballier2008-11-071-1/+7
* EAPI-2 revision; force ocaml 3.10 and camlp5 support now that it's stable eve...Alexis Ballier2008-10-171-1/+7
* Add USE flag description to metadata wrt GLEP 56.Ulrich Müller2008-08-061-1/+4
* remove oldAlexis Ballier2008-04-081-1/+4
* sparc stable wrt #215746Raúl Porcel2008-04-081-1/+4
* amd64/x86 stable, bug #215746Markus Meier2008-04-061-1/+4
* stable ppc, bug 215746Brent Baude2008-04-031-1/+4
* remove unused versionAlexis Ballier2008-04-011-1/+5
* Fixed encoding in ChangeLogTorsten Veller2008-03-061-2/+2
* restrict also installsources as it has the same problem with ocaml... it kill...Alexis Ballier2008-01-161-1/+5
* disable again parallel make... not safe in some rare cases, bug #197389Alexis Ballier2008-01-161-1/+4
* Add support for building without ocamlopt, import smimou's patches from debia...Alexis Ballier2008-01-031-2/+8
* fix depends so that portage doesnt try to downgrade ocaml if you have 3.10 in...Alexis Ballier2007-12-191-1/+6
* no need to dodoc the licenseAlexis Ballier2007-12-171-1/+5
* version bumpAlexis Ballier2007-12-171-1/+6
* quote directory variablesAlexis Ballier2007-10-201-1/+5
* remove old versionsAlexis Ballier2007-10-201-1/+6
* version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though)Alexis Ballier2007-10-201-1/+6
* fix configure call when ide and norealanalysis useflags are set, bug #195483Alexis Ballier2007-10-111-1/+4
* Version bump (see bug #192522).Markus Dittrich2007-09-291-2/+8
* Removing mattam from metadata due to his retirement (see #30021 for reference).Christian Heim2007-08-301-1/+4
* Reassigning to sci from math-proof (see #138059 for reference).Christian Heim2007-07-311-1/+4
* (QA) RESTRICT clean up.Piotr Jaroszyński2007-07-021-1/+5
* Redigest for Manifest2Markus Ullmann2007-02-221-2/+5
* sci-mathematics/coq stable on ppc.Michael Hanselmann2006-09-241-1/+4
* Stable on sparcGustavo Zacarias2006-09-151-1/+4
* Mark stable on x86, ppc and amd64Matthieu Sozeau2006-09-141-1/+7