Update debian/watch

diff --git a/debian/watch b/debian/watch
index 66302bc0c6d1d2916aa2a5c5ace2f64ec545688c..c19eec0fb1600b61bcdf47ff4ed8258df4fc288f 100644 (file)
--- 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