summaryrefslogtreecommitdiff
path: root/debian/changelog
blob: c50dac7367aea2547196cbe5088838b6066a7d07 (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
coq (8.0pl1-3) unstable; urgency=medium

  * Added a dependency to ocaml-base-nox when coq is compiled in bytecode.
  * Added enhaced manpages.
  * Enhanced the short descriptions of the packages.

 -- Samuel Mimram <samuel.mimram@ens-lyon.org>  Tue, 17 Aug 2004 20:54:25 +0200

coq (8.0pl1-2) unstable; urgency=medium

  * Changed section to math.
  * Versionned the dependency to liblablgtk2-ocaml(-dev).
  * If we fallback on bytecode, we also try to build coqide in bytecode (I hope
    this will fix the FTBFS on alpha).
  * Added a watch file.
  * Removed the unnecessary patch an unpatch targets in the rules.

 -- Samuel Mimram <samuel.mimram@ens-lyon.org>  Mon, 16 Aug 2004 20:39:48 +0200

coq (8.0pl1-1) unstable; urgency=low

  * New upstream release: finally the version without QPL-licensed files is out,
    closes: #230356, #250497.
  * Libraries are now in separate packages (coq-libs and coq7-libs).
  * An additional package provides coqide.
  * Built with OCaml 3.08.
  * Thank you Martin Ellis and Julien Cristau for your help on this package.

 -- Samuel Mimram <samuel.mimram@ens-lyon.org>  Sun, 18 Jul 2004 01:10:24 +0200

coq (7.3.1-3) unstable; urgency=low

  * Added build-dependency on ocaml-best-compilers, check for opt compilers
    in the configure-stamp target of debian/rules. Thanks to Mike Furr for
    the patch (closes: #242761).
  * Converted changelog to UTF-8.

 -- Ralf Treinen <treinen@debian.org>  Fri,  9 Apr 2004 18:03:41 +0200

coq (7.3.1-2) unstable; urgency=low

  * Standards-Version 3.6.1.
  * File debian/compat instead of variable DH_COMPAT.
  * Build with ocaml-3.07.
  * Maintainers: debian-ocaml-maint, Uploaders: The Ocaml Gang.
  * Switch to dpatch system:
    - 01_ocaml307: patch by Hugo Herbelin (thanks!) for compilation with
      ocaml 3.07.
  * Removed timeout crutch which used to be necessary for ocaml 3.04.
  * Removed forcing of byte compilation on ppc.
  * debian/rules: some cosmetic changes.
  * Short description: capitalize first letter, drop terminal dot.

 -- Ralf Treinen <treinen@debian.org>  Tue,  7 Oct 2003 22:11:31 +0200

coq (7.3.1-1) unstable; urgency=low

  * New bugfix upstream version.
  * Proof General is now Recommended since he has been freed (closes:
    Bug#162894).

 -- Judicael Courant <Judicael.Courant@lri.fr>  Mon,  7 Oct 2002 12:34:03 +0200

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