Getting prepared for the licensing-problems-free 8.0 release of COQ.

1 files changed, 158 insertions, 0 deletions

diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 00000000..b610546e
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,158 @@
+coq (8.0-1) unstable; urgency=low
+
+  * New upstream release.
+  * Libraries are now in separate packages (coq-libs and coq7-libs).
+  * An additionnal package provides coqide.
+
+ -- Samuel Mimram <samuel.mimram@ens-lyon.org>  Thu, 15 Jul 2004 17:35:00 +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
+
+