[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.2+dfsg-3-1-g07da0c0

Stephane Glondu steph at glondu.net
Thu Feb 11 09:46:36 UTC 2010


The following commit has been merged in the master branch:
commit 07da0c0df2b214e42a4bcad7bede490315517b9d
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Feb 11 10:27:14 2010 +0100

    Prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index b57c3bf..67238c6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+ssreflect (1.2+dfsg-4) unstable; urgency=low
+
+  * Rebuild with OCaml 3.11.2
+  * Bump Standards-Version to 3.8.4 (no changes)
+  * Update watch file
+
+ -- Stéphane Glondu <glondu at debian.org>  Thu, 11 Feb 2010 10:30:30 +0100
+
 ssreflect (1.2+dfsg-3) unstable; urgency=low
 
   * debian/control:
diff --git a/debian/control b/debian/control
index c5741e9..f7c2e5a 100644
--- a/debian/control
+++ b/debian/control
@@ -10,7 +10,7 @@ Build-Depends:
  camlp5 (>= 5.12-2~),
  ocaml-best-compilers,
  ocaml-nox (>= 3.11.1-3~)
-Standards-Version: 3.8.3
+Standards-Version: 3.8.4
 Section: math
 Homepage: http://www.msr-inria.inria.fr/Projects/math-components
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/ssreflect.git
diff --git a/debian/watch b/debian/watch
index 5460fb0..ed8dc1c 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,3 @@
 version=3
 opts=dversionmangle=s/\+dfsg\d*$// \
-http://www.msr-inria.inria.fr/Projects/math-components/index_html ssreflect-(.*).tgz
+http://www.msr-inria.inria.fr/Projects/math-components/index_html .*/ssreflect-(.*)\.tgz

-- 
ssreflect packaging



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