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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
# 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.29 2008/04/03 01:24:06 ranger Exp $
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.
|
GitWeb