summaryrefslogtreecommitdiff
blob: aa8501afce67d53690642151d0f7839c97b7e725 (plain)
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
# ChangeLog for sci-mathematics/coq
# Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.38 2009/01/12 21:40:11 maekke Exp $

  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.