[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090901+beryllium+dfsg-1-5-g6e558e7

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit dd560bccae330d337027dfc75df25a3c200d9b46
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Tue Dec 1 23:30:31 2009 +0100

    Fix watch file

diff --git a/debian/changelog b/debian/changelog
index a85a6ca..5006527 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+frama-c (20090901+beryllium+dfsg-2) unstable; urgency=low
+
+  * Fix watch file
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Tue, 01 Dec 2009 23:30:22 +0100
+
 frama-c (20090901+beryllium+dfsg-1) unstable; urgency=low
 
   * Change the version number to reflect the codename in the version string
diff --git a/debian/watch b/debian/watch
index 3e4f67d..7bb444c 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,3 @@
 version=3
-opts="dversionmangle=s/\.dfsg[\.0-9]*$//" \
-http://frama-c.cea.fr/download.html download/frama-c-.*-(.*)\.tar\.gz
+opts="dversionmangle=s/\+.*$//" \
+http://frama-c.cea.fr/download.html download/frama-c-.*-([0-9]+)\.tar\.gz

-- 
frama-c packaging