# ChangeLog for sci-mathematics/coq # Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2 # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.23 2007/12/19 20:08:01 aballier Exp $ 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.