From: Debian Janitor <janitor@jelmer.uk>
Date: Wed, 16 Jun 2021 01:36:16 +0000 (+0000)
Subject: Use secure URI in debian/watch.
X-Git-Tag: archive/raspbian/4.11.1-5+rpi1^2~14^2~2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=c31f9f4d0576821be469f2e0b03f0e9a388c7c8e;p=ocaml.git

Use secure URI in debian/watch.

Changes-By: lintian-brush
---

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