From b91ee231f7208d5e70a412a8ded8b91ee1f2be1d Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 25 Nov 2021 15:34:21 +0100 Subject: [PATCH] Update debian/watch --- debian/watch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/watch b/debian/watch index c8505b10..1cb46cf9 100644 --- a/debian/watch +++ b/debian/watch @@ -1,3 +1,3 @@ -version=3 +version=4 opts=uversionmangle=s/\+/~/ \ https://caml.inria.fr/pub/distrib/ocaml-([\d\.]+)/ocaml-([^-]+)\.tar\.xz -- 2.30.2