[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.3pl4-1-9-gcd46e52

[Stephane Glondu]

The following commit has been merged in the master branch:
commit f1730fd5d2dd4da9b37c4a6628730026b850a1c0
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Sep 18 14:52:57 2012 +0200

    Update debian/watch

diff --git a/debian/watch b/debian/watch
index 2cbc2d2..41acdad 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-(.*)\.t(?:ar\.)gz
+http://www.msr-inria.inria.fr/Projects/math-components/index_html .*/ssreflect-(.*)-.*\.t(?:ar\.)gz

-- 
ssreflect packaging