diff options
author | Stephane Glondu <steph@glondu.net> | 2019-12-17 16:52:16 +0100 |
---|---|---|
committer | Stéphane Glondu <steph@glondu.net> | 2019-12-17 16:52:16 +0100 |
commit | ae6decf5f7dcccf531a5689036eb8dd66c44bd76 (patch) | |
tree | 7192dbb3c7ba15a6866d03c207be328e25b3b69e | |
parent | 8d562676ec601db34ae91a59b42638f112c2f35b (diff) |
Update debian/watch
-rw-r--r-- | debian/watch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/watch b/debian/watch index 23a7d10..b530a40 100644 --- a/debian/watch +++ b/debian/watch @@ -1,2 +1,2 @@ version=3 -https://github.com/ocaml-community/biniou/tags .*/v([\d\.]+)\.tar\.gz +https://github.com/ocaml-community/biniou/tags .*/v?([\d\.]+)\.tar\.gz |