diff options
author | Stephane Glondu <steph@glondu.net> | 2021-12-04 17:40:29 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2021-12-04 17:40:54 +0100 |
commit | 0d989ae5beb9b9995c2f4da5bdde345bc6df727e (patch) | |
tree | 674f47153e12f2877d9bda6446274a5bffee22c0 | |
parent | 3bae2dc4fb3f6c0f8aa9e9410a9b3dcb6145fb3e (diff) |
Update debian/watch
-rw-r--r-- | debian/watch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/watch b/debian/watch index 1181ee5..a62529a 100644 --- a/debian/watch +++ b/debian/watch @@ -1,2 +1,2 @@ -version=3 -https://github.com/OCamlPro/ocplib-endian/releases .*/archive/(.*)\.tar\.gz +version=4 +https://github.com/OCamlPro/ocplib-endian/tags .*/([0-9.]+)\.tar\.gz |