From: Stephane Glondu <steph@glondu.net>
Date: Wed, 11 Apr 2012 12:43:02 +0000 (+0200)
Subject: Fix debian/watch so that refman is not reported as a new version
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~273
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=d757c366c478e6ff0d83a66c633be878fef4d691;p=ocaml.git

Fix debian/watch so that refman is not reported as a new version
---

diff --git a/debian/watch b/debian/watch
index d2266261..3b0c520c 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,3 @@
 version=3
 opts=uversionmangle=s/\+/~/ \
-http://caml.inria.fr/pub/distrib/ocaml-([\d\.]+)/ocaml-(.+)\.tar\.gz
+http://caml.inria.fr/pub/distrib/ocaml-([\d\.]+)/ocaml-([^-]+)\.tar\.gz