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

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 43e0c1add1a3b19f9dbc30989c512eeb7d2f64ff
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Jul 2 12:23:51 2010 +0200

    Update watch file, bump SV, prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index 0032b32..6b46f95 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,12 @@
+coq-float (1:8.2-1.2-5) unstable; urgency=low
+
+  * Rebuild with Coq 8.2pl2
+  * Update debian/watch
+  * Bump Standards-Version to 3.9.0 (no changes)
+  * Switch source package format to 3.0 (quilt)
+
+ -- Stéphane Glondu <glondu at debian.org>  Sat, 03 Jul 2010 15:51:20 +0200
+
 coq-float (1:8.2-1.2-4) unstable; urgency=low
 
   * Rebuild with OCaml 3.11.2
diff --git a/debian/control b/debian/control
index 244d987..ae735c0 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders:
  Samuel Mimram <smimram at debian.org>,
  Stéphane Glondu <glondu at debian.org>
 Build-Depends: debhelper (>= 7.0.50~), coq (>= 8.2)
-Standards-Version: 3.8.4
+Standards-Version: 3.9.0
 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
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)
diff --git a/debian/watch b/debian/watch
index fbbf726..394cf5f 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,3 @@
 version=3
 
-http://lipforge.ens-lyon.fr/frs/?group_id=11&release_id=85 .*/Float([0-9a-z\-\.]*)\.tar\.gz
+http://lipforge.ens-lyon.fr/frs/?group_id=11&release_id=85 .*/Float([0-9a-z\-\.]*)\.t(?:ar\.|)gz

-- 
coq-float packaging