[Pkg-ocaml-maint-commits] [coq] 04/04: Update changelog and prepare upload to unstable

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository coq.

commit 45d7383f95ce0528d756f712635df90456ab97dc
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Sep 26 10:20:31 2017 +0200

    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 3a0757e..a0b424e 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 <glondu at debian.org>  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 <gareuselesinge at debian.org>  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 <gareuselesinge at debian.org>  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 <gareuselesinge at debian.org>  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 <gareuselesinge at debian.org>  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 <gareuselesinge at debian.org>  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 <gareuselesinge at debian.org>  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 <gareuselesinge at debian.org>  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 <Judicael.Courant at lri.fr>  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 <Judicael.Courant at lri.fr>  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 <Judicael.Courant at lri.fr>  Tue,  17 Apr 2001 19:24:34 +0200
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git