[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090902+beryllium+dfsg-6-16-gdbbc991

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit a780ec077957ef9ac58e5b2b42d25f7335de926e
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Mon Apr 26 20:37:27 2010 +0200

    Fix watch file

diff --git a/debian/changelog b/debian/changelog
index 8418781..90440fb 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -16,8 +16,9 @@ frama-c (20100401+boron+dfsg-1) UNRELEASED; urgency=low
       + 0001-Fix-hyphen-used-as-minus-sign-and-a-typo.patch
   * Set Priority to optional
   * Set filter-pristine-tar in debian/gbp.conf
+  * Fix watch file
 
- -- Mehdi Dogguy <mehdi at debian.org>  Sun, 25 Apr 2010 16:10:03 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Mon, 26 Apr 2010 20:37:08 +0200
 
 frama-c (20090902+beryllium+dfsg-5) unstable; urgency=low
 
diff --git a/debian/watch b/debian/watch
index 7bb444c..448f421 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,3 @@
 version=3
 opts="dversionmangle=s/\+.*$//" \
-http://frama-c.cea.fr/download.html download/frama-c-.*-([0-9]+)\.tar\.gz
+http://frama-c.com/download.html download/frama-c-.*-([0-9]+)\.tar\.gz

-- 
frama-c packaging