# ChangeLog for sci-mathematics/coq # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.86 2015/03/20 07:55:39 jlec Exp $ 20 Mar 2015; Justin Lecher files/coqide.desktop: Fix desktop file 15 Feb 2015; Mark Wright +files/coq-8.4_p5-do-not-install-revision.patch, +files/coq-8.4_p5-hevea.patch, +files/coq-8.4_p5-no-clean-before-test.patch, coq-8.4_p5.ebuild: Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch from upstream: http://lists.gforge.inria.fr/pipermail/coq- commits/2014-October/013582.html. Replace sed to avoid installing revision with patch. Patch Makefile.build to avoid deleting html/refman/index_urls.txt in the test phase and then failing to install with FEATURES=test and USE=doc 28 Nov 2014; Alexis Ballier coq-8.4_p5.ebuild: update deps for ocaml 4.02 *coq-8.4_p5 (03 Nov 2014) 03 Nov 2014; Mark Wright +coq-8.4_p5.ebuild: Bump coq to 8.4pl5 *coq-8.4_p3 (23 Jan 2014) 23 Jan 2014; Justin Lecher coq-8.3_p1.ebuild, coq-8.4_p1.ebuild, coq-8.4_p2.ebuild, +coq-8.4_p3.ebuild, metadata.xml: Version Bump, fixes problems with make-4, #493144 19 Aug 2013; Alexis Ballier coq-8.4_p1.ebuild, coq-8.4_p2.ebuild: eapi5 and add := dep on ocaml pacakges 19 Aug 2013; Alexis Ballier -coq-8.3_p2.ebuild, -coq-8.3_p3.ebuild, -coq-8.3_p4.ebuild, -coq-8.4.ebuild, -files/coq-8.4-lablgtk216.patch, -files/lablgtk216.patch: remove old *coq-8.4_p2 (03 Aug 2013) 03 Aug 2013; Mark Wright +coq-8.4_p2.ebuild: Bump coq to 8.4pl2 / coq-8.4_p2. 15 Apr 2013; Agostino Sarubbo coq-8.4_p1.ebuild: Stable for x86, wrt bug #460136 05 Mar 2013; Agostino Sarubbo coq-8.4_p1.ebuild: Stable for amd64, wrt bug #460136 15 Jan 2013; Alexis Ballier coq-8.4_p1.ebuild, +files/coq-8.4_p1-camlp4.patch: fix build with camlp4, bug #450954 *coq-8.4_p1 (07 Jan 2013) 07 Jan 2013; Mark Wright +coq-8.4_p1.ebuild: Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, so that patch is not applied to coq-8.4_p1. 07 Oct 2012; Alexis Ballier coq-8.4.ebuild, metadata.xml: add camlp5 useflag to allow building coq with it, bug #434230 by Christian D. *coq-8.4 (24 Aug 2012) 24 Aug 2012; Alexis Ballier +coq-8.4.ebuild, +files/coq-8.4-lablgtk216.patch: version bump, use camlp4 and switch the desktop entry to make_desktop_entry 24 Aug 2012; Alexis Ballier files/coqide.desktop: Add Science category to the desktop entry, fixing a repoman warning. 24 Aug 2012; Alexis Ballier +files/lablgtk216.patch, coq-8.3_p4.ebuild: fix build with lablgtk 2.16 *coq-8.3_p4 (17 May 2012) 17 May 2012; Alexis Ballier +coq-8.3_p4.ebuild: version bump, by Christian D., bug #416389 24 Mar 2012; Mark Wright coq-8.3_p2.ebuild, coq-8.3_p3.ebuild: Fix coq 8.3_p2 and 8.3_p3 builds with dev-ml/camlp5-6.05. Stdpp.Exc_located is an alias for Ploc.Exc, it has been deprecated for a while, and was removed in dev-ml/camlp5-6.05. Fixed by upstream in svn repo: https://coq.inria.fr/bugs/show_bug.cgi?id=2728 *coq-8.3_p3 (23 Feb 2012) 23 Feb 2012; Alexis Ballier +coq-8.3_p3.ebuild: version bump 05 Oct 2011; Alexis Ballier coq-8.3_p1.ebuild, coq-8.3_p2.ebuild: remove ptex dep as it is going away *coq-8.3_p2 (13 Aug 2011) 13 Aug 2011; Thomas Kahle +coq-8.3_p2.ebuild: bump to pl2 06 Jul 2011; Alexis Ballier -coq-8.2_p1-r1.ebuild, -coq-8.2_p2.ebuild, -files/coq-8.2_p2-camlp5-6-compat.patch, -files/coq-8.2_p2-make-3.82.patch, -coq-8.3.ebuild, -files/coq-8.3-camlp5-6-compat.patch, -files/coq-8.3-make-3.82-compat.patch: remove old 03 Jun 2011; Brent Baude coq-8.3_p1.ebuild: Marking coq-8.3_p1 ppc for bug 355539 27 Feb 2011; Raúl Porcel coq-8.2_p1-r1.ebuild, coq-8.2_p2.ebuild, coq-8.3.ebuild, coq-8.3_p1.ebuild: Drop sparc keywords 21 Feb 2011; Markos Chandras coq-8.3_p1.ebuild: Stable on amd64 wrt bug #355539 20 Feb 2011; Pawel Hajdan jr coq-8.3_p1.ebuild: x86 stable wrt bug #355539 20 Feb 2011; Thomas Kahle coq-8.2_p2.ebuild, +files/coq-8.2_p2-camlp5-6-compat.patch: Added camlp5-6 support to the 8.2 branch (bug 355297), patch by Jonathan-Christofer Demay *coq-8.3_p1 (20 Jan 2011) 20 Jan 2011; Alexis Ballier +coq-8.3_p1.ebuild: version bump, by Olivier Huber , bug #350145 20 Nov 2010; Thomas Kahle coq-8.3.ebuild, +files/coq-8.3-camlp5-6-compat.patch, +files/coq-8.3-make-3.82-compat.patch: adding compatibility patches for make-3.82 and camlp5-6.02.0, fixes bug #346061 *coq-8.3 (18 Nov 2010) 18 Nov 2010; Thomas Kahle +coq-8.3.ebuild: bump to 8.3, fixes bug 341279 11 Nov 2010; Alexis Ballier coq-8.2_p1-r1.ebuild, coq-8.2_p2.ebuild: depend on texlive-latexextra for comment.sty, bug #342797 by Bartek 'Paczesiowa' Cwiklowski 11 Nov 2010; Alexis Ballier coq-8.2_p1-r1.ebuild, coq-8.2_p2.ebuild: Depend on netpbm[zlib] for pnmtops, bug #310305 18 Oct 2010; Samuli Suominen coq-8.2_p2.ebuild, +files/coq-8.2_p2-make-3.82.patch: Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò. *coq-8.2_p2 (27 Sep 2010) 27 Sep 2010; Sébastien Fabbro +coq-8.2_p2.ebuild, metadata.xml: Bump 09 Apr 2010; Alexis Ballier coq-8.2_p1-r1.ebuild: Add missing netpbm dep for USE=doc, by Christian D. , bug #310305 10 Mar 2010; Alexis Ballier -coq-8.1_p4.ebuild, -files/coq-8.1_p3-cmxa-install.dpatch, -files/coq-8.1_p3-noocamlopt.patch: remove old 20 Jan 2010; Sébastien Fabbro coq-8.2_p1-r1.ebuild: Added dev-texlive/texlive-pictures, bug #292630 27 Dec 2009; Raúl Porcel coq-8.2_p1-r1.ebuild: sparc stable wrt #291786 09 Nov 2009; Markus Meier coq-8.2_p1-r1.ebuild: amd64/x86 stable, bug #291786 08 Nov 2009; nixnut coq-8.2_p1-r1.ebuild: ppc stable #291786 15 Oct 2009; Alexis Ballier coq-8.2_p1-r1.ebuild: Add missing dep on tl-mathextra for doc, by Arttu Valo , bug #288990 13 Oct 2009; Alexis Ballier -coq-8.2.ebuild, -coq-8.2_p1.ebuild: remove old *coq-8.2_p1-r1 (19 Sep 2009) 19 Sep 2009; Alexis Ballier +coq-8.2_p1-r1.ebuild: dont prestrip files, bug #274321 18 Sep 2009; Torsten Veller coq-8.2.ebuild, coq-8.2_p1.ebuild: Fix typo: s/RDPEND/RDEPEND/ *coq-8.2_p1 (27 Aug 2009) 27 Aug 2009; Alexis Ballier +coq-8.2_p1.ebuild: version bump 18 May 2009; Alexis Ballier -coq-8.1_p3.ebuild, -coq-8.1_p3-r1.ebuild, metadata.xml: remove old *coq-8.2 (18 Feb 2009) 18 Feb 2009; Alexis Ballier +coq-8.2.ebuild: version bump, bug #257540 17 Jan 2009; nixnut coq-8.1_p4.ebuild: ppc stable #254073 12 Jan 2009; Markus Meier coq-8.1_p4.ebuild: x86 stable, bug #254073 12 Jan 2009; Ferris McCormick coq-8.1_p4.ebuild: Sparc stable, Bug #254073. 12 Jan 2009; Jeremy Olexa coq-8.1_p4.ebuild: amd64 stable, bug 254073 *coq-8.1_p4 (07 Nov 2008) 07 Nov 2008; Alexis Ballier +coq-8.1_p4.ebuild: Version bump by Sigmatador , bug #245802. Rename the ide useflag to gtk which makes more sense. Some cleanup in the ebuild. *coq-8.1_p3-r1 (17 Oct 2008) 17 Oct 2008; Alexis Ballier +coq-8.1_p3-r1.ebuild: EAPI-2 revision; force ocaml 3.10 and camlp5 support now that it's stable everywhere needed so that it can build with ocaml 3.11 06 Aug 2008; Ulrich Mueller metadata.xml: Add USE flag description to metadata wrt GLEP 56. 08 Apr 2008; Alexis Ballier -coq-8.0_p3.ebuild: remove old 08 Apr 2008; Raúl Porcel coq-8.1_p3.ebuild: sparc stable wrt #215746 06 Apr 2008; Markus Meier coq-8.1_p3.ebuild: amd64/x86 stable, bug #215746 03 Apr 2008; Brent Baude coq-8.1_p3.ebuild: stable ppc, bug 215746 01 Apr 2008; Alexis Ballier -coq-8.1_p1.ebuild, -coq-8.1_p2.ebuild: remove unused version 16 Jan 2008; Alexis Ballier coq-8.1_p3.ebuild: restrict also installsources as it has the same problem with ocaml... it kills ocamlc -custom executables 16 Jan 2008; Alexis Ballier coq-8.1_p3.ebuild: disable again parallel make... not safe in some rare cases, bug #197389 03 Jan 2008; Alexis Ballier +files/coq-8.1_p3-cmxa-install.dpatch, +files/coq-8.1_p3-noocamlopt.patch, files/coqide.desktop, coq-8.1_p3.ebuild: Add support for building without ocamlopt, import smimou's patches from debian to allow it. Fix desktop entry categories. 19 Dec 2007; Alexis Ballier coq-8.1_p2.ebuild, coq-8.1_p3.ebuild: fix depends so that portage doesnt try to downgrade ocaml if you have 3.10 installed but not camlp5, thanks jakub for the help there 17 Dec 2007; Alexis Ballier coq-8.0_p3.ebuild, coq-8.1_p1.ebuild, coq-8.1_p2.ebuild: no need to dodoc the license *coq-8.1_p3 (17 Dec 2007) 17 Dec 2007; Alexis Ballier +coq-8.1_p3.ebuild: version bump 20 Oct 2007; Alexis Ballier coq-8.0_p3.ebuild, coq-8.1_p1.ebuild: quote directory variables 20 Oct 2007; Alexis Ballier -files/ocaml-3.07.patch, -files/coq-8.0-byteflags.patch, -files/coq-8.0-ocaml-3.08.1.patch, -coq-8.0-r1.ebuild: remove old versions *coq-8.1_p2 (20 Oct 2007) 20 Oct 2007; Alexis Ballier +coq-8.1_p2.ebuild: version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though) 11 Oct 2007; Alexis Ballier coq-8.1_p1.ebuild: fix configure call when ide and norealanalysis useflags are set, bug #195483 *coq-8.1_p1 (29 Sep 2007) 29 Sep 2007; Markus Dittrich +coq-8.1_p1.ebuild: Version bump (see bug #192522). 30 Aug 2007; Christian Heim metadata.xml: Removing mattam from metadata due to his retirement (see #30021 for reference). 31 Jul 2007; Christian Heim metadata.xml: Reassigning to sci from math-proof (see #138059 for reference). 02 Jul 2007; Piotr Jaroszyński coq-8.0-r1.ebuild, coq-8.0_p3.ebuild: (QA) RESTRICT clean up. 22 Feb 2007; Markus Ullmann ChangeLog: Redigest for Manifest2 24 Sep 2006; Michael Hanselmann coq-8.0_p3.ebuild: Stable on ppc. 15 Sep 2006; Gustavo Zacarias coq-8.0_p3.ebuild: Stable on sparc 14 Sep 2006; Matthieu Sozeau coq-8.0_p3.ebuild: Mark stable on amd64, x86 and ppc to account for lablgtk-2.6 stabilization 01 Jul 2006; Alexandre Buisse metadata.xml: Replaced sci herd by newly created math-proof herd in metadata.xml, as a consequence of sci reorg. 03 May 2006; Jason Wever coq-8.0-r1.ebuild: Stable on SPARC. 06 Feb 2006; Matthieu Sozeau coq-8.0_p3.ebuild: Correct patch path. 06 Feb 2006; Matthieu Sozeau coq-8.0_p3.ebuild: Correct patch path. 04 Feb 2006; Matthieu Sozeau -coq-7.4.ebuild, coq-8.0-r1.ebuild: Remove old 7.4 version and move 8.0-r1 to stable on x86 and ppc. *coq-8.0_p3 (04 Feb 2006) 04 Feb 2006; Matthieu Sozeau -coq-8.0.ebuild, +coq-8.0_p3.ebuild: Add latest version, compatible with ocaml-3.09. 13 Apr 2005; Jan Brinkmann coq-8.0-r1.ebuild: added ~amd64 to KEYWORDS, fixes #88950 *coq-8.0-r1 (28 Dec 2004) 28 Dec 2004; Olivier Fisette +metadata.xml, +files/coq-8.0-byteflags.patch, +files/coq-8.0-ocaml-3.08.1.patch, +files/coqide.desktop, +files/ocaml-3.07.patch, +coq-7.4.ebuild, +coq-8.0-r1.ebuild, +coq-8.0.ebuild: Moved from app-sci/coq to sci-mathematics/coq. 18 Nov 2004; Matthieu Sozeau +files/coq-8.0-ocaml-3.08.1.patch, coq-8.0-r1.ebuild: Add patch for ocaml-3.08.1. 13 Aug 2004; Jason Wever coq-8.0-r1.ebuild: Added ~sparc keyword. *coq-8.0-r1 (08 Aug 2004) 08 Aug 2004; Matthieu Sozeau coq-7.4.ebuild, +coq-8.0-r1.ebuild, coq-8.0.ebuild, -coq-8.0_beta.ebuild: Prepare for 3.08 insertion, remove old beta ebuild and add the latest version. 13 Jul 2004; Travis Tilley coq-7.4.ebuild: adding ~amd64 keyword *coq-8.0 (01 Jul 2004) 01 Jul 2004; Matthieu Sozeau coq-8.0.ebuild, files/coq-8.0-byteflags.patch, files/coqide.desktop: Add new stable release of coq, which comes with an ide now, and a translation script from older versions. Adding two local use flags for those. *coq-8.0_beta (02 Apr 2004) 02 Apr 2004; Matthieu Sozeau coq-7.4.ebuild, coq-8.0_beta.ebuild: Added coq-8.0_beta ebuild, tested on x86. Make coq-7.4 stable, as there were no bug reports for some time now. *coq-7.4 (22 Jan 2004) 22 Jan 2004; Matthieu Sozeau coq-7.4.ebuild, metadata.xml, files/ocaml-3.07.patch: Initial commit. Related bugs are 30388 and 24616. norealanalysis use flag idea taken from Peter Lietz ebuild.