From c58ab3afdbfb578b9cf2ea3f39c03c53ec852d4e Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 24 Jul 2010 14:25:14 +0200 Subject: [PATCH] Fix watch file --- debian/watch | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/debian/watch b/debian/watch index d8381f29..d2266261 100644 --- a/debian/watch +++ b/debian/watch @@ -1,2 +1,3 @@ version=3 -http://caml.inria.fr/pub/distrib/ocaml-([\d\.]+)/ocaml-([\d\.]+).tar.gz +opts=uversionmangle=s/\+/~/ \ +http://caml.inria.fr/pub/distrib/ocaml-([\d\.]+)/ocaml-(.+)\.tar\.gz -- 2.30.2