In debian/watch no matching files for watch line https://github.com/janestreet/bin_prot/releases /.*/archive/v([\d\.\-rc]+)\.tar\.gz