From: Stephane Glondu <steph@glondu.net>
Date: Thu, 25 Nov 2021 14:34:21 +0000 (+0100)
Subject: Update debian/watch
X-Git-Tag: archive/raspbian/4.11.1-5+rpi1^2~12
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=b91ee231f7208d5e70a412a8ded8b91ee1f2be1d;p=ocaml.git

Update debian/watch
---

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