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

Stéphane Glondu glondu at moszumanska.debian.org
Fri Dec 13 14:08:35 UTC 2013


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

glondu pushed a commit to branch master
in repository coq-doc.

commit 189e896f8fa7fe4bf9aaf87a51393249171dedc2
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Dec 12 08:17:58 2013 +0100

    Update changelog and prepare upload to unstable
---
 debian/changelog | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index b474bfb..1271d0c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,10 @@
-coq-doc (8.4pl2-1) UNRELEASED; urgency=medium
+coq-doc (8.4pl2-1) unstable; urgency=medium
 
   * New upstream release
+  * Debhelper compat level 9
+  * Update Vcs-*
 
- -- Stéphane Glondu <glondu at debian.org>  Thu, 12 Dec 2013 08:13:38 +0100
+ -- Stéphane Glondu <glondu at debian.org>  Thu, 12 Dec 2013 09:06:18 +0100
 
 coq-doc (8.3pl4-1) unstable; urgency=low
 

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



More information about the Pkg-ocaml-maint-commits mailing list