1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
# ChangeLog for sci-mathematics/coq
# Copyright 2000-2006 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.8 2006/07/01 12:03:18 nattfodd Exp $
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.
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.
|
GitWeb
