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 <st...@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 <glo...@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 <gareuselesi...@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 <gareuselesi...@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 <gareuselesi...@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 <gareuselesi...@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 <gareuselesi...@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 <gareuselesi...@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 <gareuselesi...@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.cour...@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.cour...@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.cour...@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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
