[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