[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.2+dfsg-6-11-g3520703

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7ab290b352a3794207ebadbbf1c40f7132b87c16
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Mar 15 08:19:55 2011 +0100

    Update debian/watch

diff --git a/debian/watch b/debian/watch
index ed8dc1c..2cbc2d2 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-(.*)\.t(?:ar\.)gz

-- 
ssreflect packaging