path: root/sci-mathematics/coq/ChangeLog

# 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.87 2015/06/27 09:48:20 ago Exp $

  27 Jun 2015; Agostino Sarubbo <ago@gentoo.org> coq-8.4_p5.ebuild:
  Stable for amd64, wrt bug #553322

  20 Mar 2015; Justin Lecher <jlec@gentoo.org> files/coqide.desktop:
  Fix desktop file

  15 Feb 2015; Mark Wright <gienah@gentoo.org>
  +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 <aballier@gentoo.org> coq-8.4_p5.ebuild:
  update deps for ocaml 4.02

*coq-8.4_p5 (03 Nov 2014)

  03 Nov 2014; Mark Wright <gienah@gentoo.org> +coq-8.4_p5.ebuild:
  Bump coq to 8.4pl5

*coq-8.4_p3 (23 Jan 2014)

  23 Jan 2014; Justin Lecher <jlec@gentoo.org> 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 <aballier@gentoo.org> coq-8.4_p1.ebuild,
  coq-8.4_p2.ebuild:
  eapi5 and add := dep on ocaml pacakges

  19 Aug 2013; Alexis Ballier <aballier@gentoo.org> -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 <gienah@gentoo.org> +coq-8.4_p2.ebuild:
  Bump coq to 8.4pl2 / coq-8.4_p2.

  15 Apr 2013; Agostino Sarubbo <ago@gentoo.org> coq-8.4_p1.ebuild:
  Stable for x86, wrt bug #460136

  05 Mar 2013; Agostino Sarubbo <ago@gentoo.org> coq-8.4_p1.ebuild:
  Stable for amd64, wrt bug #460136

  15 Jan 2013; Alexis Ballier <aballier@gentoo.org> 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 <gienah@gentoo.org> +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 <aballier@gentoo.org> 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 <aballier@gentoo.org> +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 <aballier@gentoo.org> files/coqide.desktop:
  Add Science category to the desktop entry, fixing a repoman warning.

  24 Aug 2012; Alexis Ballier <aballier@gentoo.org> +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 <aballier@gentoo.org> +coq-8.3_p4.ebuild:
  version bump, by Christian D., bug #416389

  24 Mar 2012; Mark Wright <gienah@gentoo.org> 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 <aballier@gentoo.org> +coq-8.3_p3.ebuild:
  version bump

  05 Oct 2011; Alexis Ballier <aballier@gentoo.org> 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 <tomka@gentoo.org> +coq-8.3_p2.ebuild:
  bump to pl2

  06 Jul 2011; Alexis Ballier <aballier@gentoo.org> -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 <ranger@gentoo.org> coq-8.3_p1.ebuild:
  Marking coq-8.3_p1 ppc for bug 355539

  27 Feb 2011; Raúl Porcel <armin76@gentoo.org> 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 <hwoarang@gentoo.org> coq-8.3_p1.ebuild:
  Stable on amd64 wrt bug #355539

  20 Feb 2011; Pawel Hajdan jr <phajdan.jr@gentoo.org> coq-8.3_p1.ebuild:
  x86 stable wrt bug #355539

  20 Feb 2011; Thomas Kahle <tomka@gentoo.org> 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 <aballier@gentoo.org> +coq-8.3_p1.ebuild:
  version bump, by Olivier Huber <oli.huber@gmail.com>, bug #350145

  20 Nov 2010; Thomas Kahle <tomka@gentoo.org> 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 <tomka@gentoo.org> +coq-8.3.ebuild:
  bump to 8.3, fixes bug 341279

  11 Nov 2010; Alexis Ballier <aballier@gentoo.org> coq-8.2_p1-r1.ebuild,
  coq-8.2_p2.ebuild:
  depend on texlive-latexextra for comment.sty, bug #342797 by Bartek
  'Paczesiowa' Cwiklowski <paczesiowa@dw.pl>

  11 Nov 2010; Alexis Ballier <aballier@gentoo.org> coq-8.2_p1-r1.ebuild,
  coq-8.2_p2.ebuild:
  Depend on netpbm[zlib] for pnmtops, bug #310305

  18 Oct 2010; Samuli Suominen <ssuominen@gentoo.org> 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 <bicatali@gentoo.org> +coq-8.2_p2.ebuild,
  metadata.xml:
  Bump

  09 Apr 2010; Alexis Ballier <aballier@gentoo.org> coq-8.2_p1-r1.ebuild:
  Add missing netpbm dep for USE=doc, by Christian D. <ThyrusG@gmx.de>, bug
  #310305

  10 Mar 2010; Alexis Ballier <aballier@gentoo.org> -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 <bicatali@gentoo.org> coq-8.2_p1-r1.ebuild:
  Added dev-texlive/texlive-pictures, bug #292630

  27 Dec 2009; Raúl Porcel <armin76@gentoo.org> coq-8.2_p1-r1.ebuild:
  sparc stable wrt #291786

  09 Nov 2009; Markus Meier <maekke@gentoo.org> coq-8.2_p1-r1.ebuild:
  amd64/x86 stable, bug #291786

  08 Nov 2009; nixnut <nixnut@gentoo.org> coq-8.2_p1-r1.ebuild:
  ppc stable #291786

  15 Oct 2009; Alexis Ballier <aballier@gentoo.org> coq-8.2_p1-r1.ebuild:
  Add missing dep on tl-mathextra for doc, by Arttu Valo
  <arttuv69@gmail.com>, bug #288990

  13 Oct 2009; Alexis Ballier <aballier@gentoo.org> -coq-8.2.ebuild,
  -coq-8.2_p1.ebuild:
  remove old

*coq-8.2_p1-r1 (19 Sep 2009)

  19 Sep 2009; Alexis Ballier <aballier@gentoo.org> +coq-8.2_p1-r1.ebuild:
  dont prestrip files, bug #274321

  18 Sep 2009; Torsten Veller <tove@gentoo.org> 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 <aballier@gentoo.org> +coq-8.2_p1.ebuild:
  version bump

  18 May 2009; Alexis Ballier <aballier@gentoo.org> -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 <aballier@gentoo.org> +coq-8.2.ebuild:
  version bump, bug #257540

  17 Jan 2009; nixnut <nixnut@gentoo.org> coq-8.1_p4.ebuild:
  ppc stable #254073

  12 Jan 2009; Markus Meier <maekke@gentoo.org> coq-8.1_p4.ebuild:
  x86 stable, bug #254073

  12 Jan 2009; Ferris McCormick <fmccor@gentoo.org> coq-8.1_p4.ebuild:
  Sparc stable, Bug #254073.

  12 Jan 2009; Jeremy Olexa <darkside@gentoo.org> coq-8.1_p4.ebuild:
  amd64 stable, bug 254073

*coq-8.1_p4 (07 Nov 2008)

  07 Nov 2008; Alexis Ballier <aballier@gentoo.org> +coq-8.1_p4.ebuild:
  Version bump by Sigmatador <sigmatador@gmail.com>, 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 <aballier@gentoo.org> +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 <ulm@gentoo.org> metadata.xml:
  Add USE flag description to metadata wrt GLEP 56.

  08 Apr 2008; Alexis Ballier <aballier@gentoo.org> -coq-8.0_p3.ebuild:
  remove old

  08 Apr 2008; Raúl Porcel <armin76@gentoo.org> coq-8.1_p3.ebuild:
  sparc stable wrt #215746

  06 Apr 2008; Markus Meier <maekke@gentoo.org> coq-8.1_p3.ebuild:
  amd64/x86 stable, bug #215746

  03 Apr 2008; Brent Baude <ranger@gentoo.org> coq-8.1_p3.ebuild:
  stable ppc, bug 215746

  01 Apr 2008; Alexis Ballier <aballier@gentoo.org> -coq-8.1_p1.ebuild,
  -coq-8.1_p2.ebuild:
  remove unused version

  16 Jan 2008; Alexis Ballier <aballier@gentoo.org> 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 <aballier@gentoo.org> coq-8.1_p3.ebuild:
  disable again parallel make... not safe in some rare cases, bug #197389

  03 Jan 2008; Alexis Ballier <aballier@gentoo.org>
  +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 <aballier@gentoo.org> 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 <aballier@gentoo.org> 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 <aballier@gentoo.org> +coq-8.1_p3.ebuild:
  version bump

  20 Oct 2007; Alexis Ballier <aballier@gentoo.org> coq-8.0_p3.ebuild,
  coq-8.1_p1.ebuild:
  quote directory variables

  20 Oct 2007; Alexis Ballier <aballier@gentoo.org> -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 <aballier@gentoo.org> +coq-8.1_p2.ebuild:
  version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though)

  11 Oct 2007; Alexis Ballier <aballier@gentoo.org> 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 <markusle@gentoo.org>
  +coq-8.1_p1.ebuild:
  Version bump (see bug #192522).

  30 Aug 2007; Christian Heim <phreak@gentoo.org> metadata.xml:
  Removing mattam from metadata due to his retirement (see #30021 for reference).

  31 Jul 2007; Christian Heim <phreak@gentoo.org> metadata.xml:
  Reassigning to sci from math-proof (see #138059 for reference).

  02 Jul 2007; Piotr Jaroszyński <peper@gentoo.org> coq-8.0-r1.ebuild,
  coq-8.0_p3.ebuild:
  (QA) RESTRICT clean up.

  22 Feb 2007; Markus Ullmann <jokey@gentoo.org> ChangeLog:
  Redigest for Manifest2

  24 Sep 2006; Michael Hanselmann <hansmi@gentoo.org> coq-8.0_p3.ebuild:
  Stable on ppc.

  15 Sep 2006; Gustavo Zacarias <gustavoz@gentoo.org> coq-8.0_p3.ebuild:
  Stable on sparc

  14 Sep 2006; Matthieu Sozeau <mattam@gentoo.org> coq-8.0_p3.ebuild:
  Mark stable on amd64, x86 and ppc to account for lablgtk-2.6 stabilization

  01 Jul 2006; Alexandre Buisse <nattfodd@gentoo.org> 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 <weeve@gentoo.org> coq-8.0-r1.ebuild:
  Stable on SPARC.

  06 Feb 2006; Matthieu Sozeau <mattam@gentoo.org> coq-8.0_p3.ebuild:
  Correct patch path.

  06 Feb 2006; Matthieu Sozeau <mattam@gentoo.org> coq-8.0_p3.ebuild:
  Correct patch path.

  04 Feb 2006; Matthieu Sozeau <mattam@gentoo.org> -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 <mattam@gentoo.org> -coq-8.0.ebuild,
  +coq-8.0_p3.ebuild:
  Add latest version, compatible with ocaml-3.09.

  13 Apr 2005; Jan Brinkmann <luckyduck@gentoo.org> coq-8.0-r1.ebuild:
  added ~amd64 to KEYWORDS, fixes #88950

*coq-8.0-r1 (28 Dec 2004)

  28 Dec 2004; Olivier Fisette <ribosome@gentoo.org> +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 <mattam@gentoo.org>
  +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 <weeve@gentoo.org> coq-8.0-r1.ebuild:
  Added ~sparc keyword.

*coq-8.0-r1 (08 Aug 2004)

  08 Aug 2004; Matthieu Sozeau <mattam@gentoo.org> 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 <lv@gentoo.org> coq-7.4.ebuild:
  adding ~amd64 keyword

*coq-8.0 (01 Jul 2004)

  01 Jul 2004; Matthieu Sozeau <mattam@gentoo.org> 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 <mattam@gentoo.org> 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 <mattam@gentoo.org> 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 <p.lietz@gmx.de> ebuild.