From 0584ebc9a8acc71516d4d28f0ebbfc6d278eefec Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Tue, 21 Oct 2014 11:34:50 +0200 Subject: [PATCH] Update debian/watch --- debian/watch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/watch b/debian/watch index 66302bc0..c19eec0f 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\.bz2 +http://caml.inria.fr/pub/distrib/ocaml-([\d\.]+)/ocaml-([^-]+)\.tar\.xz -- 2.30.2