From 45d7383f95ce0528d756f712635df90456ab97dc Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Tue, 26 Sep 2017 10:20:31 +0200 Subject: Update changelog and prepare upload to unstable --- debian/changelog | 31 ++++++++++++++++++++----------- 1 file changed, 20 insertions(+), 11 deletions(-) diff --git a/debian/changelog b/debian/changelog index 3a0757e4..a0b424eb 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,12 +1,21 @@ +coq (8.6-5) unstable; urgency=medium + + * Recompile with OCaml 4.05.0 + * Remove unused Lintian overrides + * Remove menu files + * Update Vcs-* + + -- Stéphane Glondu Tue, 26 Sep 2017 11:08:52 +0200 + coq (8.6-4) unstable; urgency=medium - * coq_makefile needs ocamlfind in order to work + * coq_makefile needs ocamlfind in order to work -- Enrico Tassi Thu, 29 Dec 2016 23:45:47 +0100 coq (8.6-3) unstable; urgency=medium - * 5127.v fails on mips, disabling + * 5127.v fails on mips, disabling -- Enrico Tassi Thu, 29 Dec 2016 08:58:35 +0100 @@ -19,26 +28,26 @@ coq (8.6-2) unstable; urgency=medium coq (8.6-1) unstable; urgency=medium - * New upstream release + * New upstream release -- Enrico Tassi Tue, 27 Dec 2016 16:53:39 +0100 coq (8.5-2) unstable; urgency=medium - * patch: disable test 4429 (timeout too strict for slow architectures) + * patch: disable test 4429 (timeout too strict for slow architectures) -- Enrico Tassi Thu, 28 Jan 2016 11:47:07 +0100 coq (8.5-1) unstable; urgency=medium - * New upstream release + * New upstream release * patch: disable test 4366 (timeout too strict for slow architectures) -- Enrico Tassi Tue, 26 Jan 2016 16:59:05 +0100 coq (8.5~beta3+dfsg-2) experimental; urgency=medium - * Option -no-native-compiler now called -native-compiler no + * Option -no-native-compiler now called -native-compiler no -- Enrico Tassi Sat, 14 Nov 2015 14:59:04 +0100 @@ -65,7 +74,7 @@ coq (8.5~beta2+dfsg-1) experimental; urgency=medium * coq depends on coq-theories binary:Version * lintian-overrides for coq-native/*cmx* and plugins/*cmxs files (hardening-no-relro) - * Build depend on liblablgtksourceview2-ocaml-dev + * Build depend on liblablgtksourceview2-ocaml-dev -- Enrico Tassi Wed, 15 Jul 2015 11:36:30 +0200 @@ -539,7 +548,7 @@ coq (8.0pl3+8.1beta.2-1) experimental; urgency=low coq (8.0pl3+8.1beta-1) experimental; urgency=low * New upstream release. - * Added --fsets all option to configure to build the theory of finite sets. + * Added --fsets all option to configure to build the theory of finite sets. * Updated coqdoc_stdlib.dpatch, partly integrated upstream. * Removed failing_tests.dpath, all the tests should succeed now. * We don't need to remove rpaths anymore. @@ -708,7 +717,7 @@ coq (7.3.1-1) unstable; urgency=low coq (7.3-1) unstable; urgency=low * New upstream version. - + -- Judicael Courant Wed, 22 May 2002 14:48:21 +0200 coq (7.2-9) unstable; urgency=low @@ -758,7 +767,7 @@ coq (7.2-4) unstable; urgency=low coq (7.2-3) unstable; urgency=low * Workaround for problems with buildd/apt trying to install camlp4 (closes: Bug#130046). - + -- Judicaël Courant Mon, 21 Jan 2002 09:46:16 +0100 coq (7.2-2) unstable; urgency=low @@ -796,7 +805,7 @@ coq (7.0-1) unstable; urgency=low * Emacs mode installation now follows Emacs policy. * Made compilation non-interactive (closes: Bug#92461). * Added Suggests cle. - + -- Judicaël Courant Tue, 17 Apr 2001 19:24:34 +0200 -- cgit v1.2.3