The following commit has been merged in the master branch:
commit f1730fd5d2dd4da9b37c4a6628730026b850a1c0
Author: Stephane Glondu <st...@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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
