Update debian/watch

author Stephane Glondu <steph@glondu.net>

Thu, 25 Nov 2021 14:34:21 +0000 (15:34 +0100)

committer Stéphane Glondu <glondu@debian.org>

Thu, 25 Nov 2021 14:40:35 +0000 (15:40 +0100)
author Stephane Glondu <steph@glondu.net>
Thu, 25 Nov 2021 14:34:21 +0000 (15:34 +0100)
committer Stéphane Glondu <glondu@debian.org>
Thu, 25 Nov 2021 14:40:35 +0000 (15:40 +0100)
diff --git a/debian/watch b/debian/watch

index c8505b100ebcde03ef9afc2385c9966c7f371141..1cb46cf9ded56d95bcc74abf988534d180330d6b 100644 (file)
--- 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
author	Stephane Glondu <steph@glondu.net>
	Thu, 25 Nov 2021 14:34:21 +0000 (15:34 +0100)
committer	Stéphane Glondu <glondu@debian.org>
	Thu, 25 Nov 2021 14:40:35 +0000 (15:40 +0100)