Watch file results

component: main
debian_mangled_uversion: 8.4
debian_uversion: 8.4dfsg
distribution: debian
last_check: 2022-07-03 00:50:05.844902
release: sid
source: acl2
status: up to date
upstream_url: https://github.com/acl2-devel/acl2-devel/releases/download/8.4/acl2-8.4.tar.gz
upstream_version: 8.4
version: 8.4dfsg-2
watch_file: 
version=4
opts=dversionmangle=s/dfsg\d*$// https://github.com/acl2-devel/acl2-devel/releases .*/acl2-v?(\d\S*)\.tar\.gz