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
|
coq (7.3-1) unstable; urgency=low
* New upstream version.
-- Judicael Courant <Judicael.Courant@lri.fr> Wed, 22 May 2002 14:48:21 +0200
coq (7.2-9) unstable; urgency=low
* ocamlc.opt completely broken on powerpc. Added a special case in
"rules" for using only bytecode.
-- Judicael Courant <Judicael.Courant@lri.fr> Fri, 15 Feb 2002 09:17:20 +0100
coq (7.2-8) unstable; urgency=low
* "timeout" time is now 5300s (< 90 min).
-- Judicael Courant <Judicael.Courant@lri.fr> Thu, 14 Feb 2002 17:38:06 +0100
coq (7.2-7) unstable; urgency=low
* Build now uses ocamlc.opt and ocamlopt.opt if available.
* Dependency forced on ocaml >= 3.04 (dependency ocaml >=3.04 | camlp4
does not make buildd happy. See http://buildd.debian.org/fetch.php?
&pkg=coq&ver=7.2-5&arch=arm&stamp=1013388706&file=log&as=raw).
-- Judicael Courant <Judicael.Courant@lri.fr> Tue, 12 Feb 2002 09:10:01 +0100
coq (7.2-6) unstable; urgency=low
* Typo in rules, which made the build process always build in
bytecode. Fixed.
-- Judicael Courant <Judicael.Courant@lri.fr> Mon, 11 Feb 2002 11:22:21 +0100
coq (7.2-5) unstable; urgency=low
* Pb with timeout, used in 7.2-4 (bug 132927) making the build process
fail when compilation in native mode fails. Workaround in rules: after
a "timeout ... make ..." we try a "make -q" to check that everything
has been done correctly.
-- Judicael Courant <Judicael.Courant@lri.fr> Fri, 8 Feb 2002 10:08:10 +0100
coq (7.2-4) unstable; urgency=low
* Native code compilation failed on sparc; coqtop built by ocamlopt
entered an infinite loop on powerpc. Fixed (using timeout for powerpc:
if coqtop loops, it is rebuild using the bytecode compiler)
-- Judicael Courant <Judicael.Courant@lri.fr> Fri, 1 Feb 2002 11:04:25 +0100
coq (7.2-3) unstable; urgency=low
* Workaround for problems with buildd/apt trying to install camlp4
(closes: Bug#130046).
-- Judicaël Courant <Judicael.Courant@lri.fr> Mon, 21 Jan 2002 09:46:16 +0100
coq (7.2-2) unstable; urgency=low
* Build-Depends now requires camlp4 instead of camlp4 (>=3.01) since
camlp4 is a virtual package provided by ocaml >=3.04.
-- Judicaël Courant <Judicael.Courant@lri.fr> Fri, 11 Jan 2002 11:08:03 +0100
coq (7.2-1) unstable; urgency=low
* New upstream version.
-- Judicaël Courant <Judicael.Courant@lri.fr> Wed, 9 Jan 2002 14:02:42 +0100
coq (7.1-2) unstable; urgency=low
* Fixed policy problem (conf files).
* Trying to compile in bytecode if native code compilation fails
(closes: Bug#119714)
* Errors raised by the Simpl tactic is an upstream bug and should
have been fixed in 7.0 (closes: Bug#74518).
-- Judicaël Courant <Judicael.Courant@lri.fr> Tue, 11 Dec 2001 13:33:15 +0100
coq (7.1-1) unstable; urgency=low
* New upstream version.
-- Judicaël Courant <Judicael.Courant@lri.fr> Tue, 25 Sep 2001 16:27:04 +0200
coq (7.0-1) unstable; urgency=low
* New maintainer Judicaël Courant <Judicael.Courant@lri.fr>.
* New upstream version.
* Added Build-Depends (closes: Bug#70273).
* Cleaned up dependencies.
* Emacs mode installation now follows Emacs policy.
* Made compilation non-interactive (closes: Bug#92461).
* Added Suggests cle.
-- Judicaël Courant <Judicael.Courant@lri.fr> Tue, 17 Apr 2001 19:24:34 +0200
coq (6.3.1-3) unstable; urgency=low
* Patched to allow use of ocaml3.
-- Fernando Sanchez <fer@debian.org> Fri, 7 Jul 2000 08:05:47 +0200
coq (6.3.1-2) unstable; urgency=low
* Some changes to allow successful porting of this package:
* Added checking for ocamlopt.opt before running ./configure with -opt,
and configure without it if it is not present for this architecture.
* Added checking for ocamlopt before making world-opt.
-- Fernando Sanchez <fer@debian.org> Sat, 18 Dec 1999 16:45:01 +0100
coq (6.3.1-1) unstable; urgency=low
* Initial Release.
-- Fernando Sanchez <fer@debian.org> Fri, 3 Dec 1999 22:06:04 +0100
|