diff options
Diffstat (limited to 'debian/watch')
-rw-r--r-- | debian/watch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/watch b/debian/watch index 11b5c39..ab31bc7 100644 --- a/debian/watch +++ b/debian/watch @@ -1,4 +1,4 @@ -version=3 +version=4 opts="uversionmangle=s/-rc/~rc/" \ https://github.com/janestreet/pa_ounit/releases .*/(.*)\.tar\.gz |