Watch file results

component: main
debian_mangled_uversion: 1.6
debian_uversion: 1.6
distribution: debian
last_check: 2019-08-24 00:46:02.095086
release: sid
source: cvc4
status: up to date
upstream_url: https://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.6.tar.gz
upstream_version: 1.6
version: 1.6-2
watch_file: version=4 https://cvc4.cs.stanford.edu/downloads/builds/src/ cvc4-(\d+[\.\d+]+)\.tar\.gz