# ChangeLog for sci-mathematics/coq
# Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.33 2008/08/06 20:21:14 ulm Exp $

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.