Watch file results

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