Watch file results

component: main
debian_mangled_uversion: 2.0.0
debian_uversion: 2.0.0
distribution: debian
last_check: 2021-03-07 03:50:05.066765
release: sid
source: alt-ergo
status: newer package available
upstream_url: https://github.com/OCamlPro/alt-ergo/archive/2.4.0.tar.gz
upstream_version: 2.4.0
version: 2.0.0-7
watch_file: version=4 https://github.com/OCamlPro/alt-ergo/releases .*/archive/([0-9.]*)\.tar\.gz