[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/8.2-1.2-1-1-gd60aecb

[Stephane Glondu]

The following commit has been merged in the master branch:
commit d60aecb8bb21ffd0759d41a16002f3b410901e82
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Jul 1 20:11:28 2009 +0200

    Prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index 6ff15c5..b13ff37 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+coq-float (1:8.2-1.2-2) unstable; urgency=low
+
+  * Recompile with OCaml 3.11.1 ABI
+  * Update Standards-Version to 3.8.2
+
+ -- Stephane Glondu <steph at glondu.net>  Wed, 01 Jul 2009 20:11:09 +0200
+
 coq-float (1:8.2-1.2-1) unstable; urgency=low
 
   [ Samuel Mimram ]
diff --git a/debian/control b/debian/control
index 5d80ca5..e2bbb04 100644
--- a/debian/control
+++ b/debian/control
@@ -7,7 +7,7 @@ Uploaders:
  Stephane Glondu <steph at glondu.net>
 DM-Upload-Allowed: yes
 Build-Depends: debhelper (>= 7), coq (>= 8.2)
-Standards-Version: 3.8.0
+Standards-Version: 3.8.2
 Homepage: http://lipforge.ens-lyon.fr/www/pff/
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-float.git
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-float.git

-- 
coq-float packaging