Watch file results

component: main
debian_mangled_uversion: 1.6
debian_uversion: 1.6
distribution: debian
last_check: 2019-06-13 00:41:33.476029
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