Watch file results

component: main
debian_mangled_uversion: 8.6
debian_uversion: 8.6+dfsg
distribution: debian
last_check: 2025-06-19 00:20:29.170058
release: sid
source: acl2
status: up to date
upstream_url: https://api.github.com/repos/acl2-devel/acl2-devel/releases?per_page=50"acl2-8.6.tar.gz"
upstream_version: 8.6
version: 8.6+dfsg-3
watch_file: version=4 opts="dversionmangle=s/\+dfsg//g,searchmode=plain" https://api.github.com/repos/acl2-devel/acl2-devel/releases?per_page=50 "acl2-(\d.\d)\.tar\.gz"