From c31f9f4d0576821be469f2e0b03f0e9a388c7c8e Mon Sep 17 00:00:00 2001 From: Debian Janitor Date: Wed, 16 Jun 2021 01:36:16 +0000 Subject: [PATCH] Use secure URI in debian/watch. Changes-By: lintian-brush --- debian/watch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2