In debian/watch no matching files for watch line https://github.com/OCamlPro/alt-ergo/releases .*/archive/([0-9.]*)\.tar\.gz