Use secure URI in debian/watch.

Changes-By: lintian-brush

diff --git a/debian/watch b/debian/watch
index c19eec0fb1600b61bcdf47ff4ed8258df4fc288f..c8505b100ebcde03ef9afc2385c9966c7f371141 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\.xz
+https://caml.inria.fr/pub/distrib/ocaml-([\d\.]+)/ocaml-([^-]+)\.tar\.xz