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
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
|
# ChangeLog for sci-mathematics/coq
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.57 2010/11/18 22:12:07 tomka Exp $
*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.
|
GitWeb