blob: 42dc8fa86e884fd8314459f4abe5f42991a47f8f (
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
|
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
|