Watch file results

component: main
distribution: debian
last_check: 2024-10-12 01:50:13.669
release: sid
source: acl2
status: error
version: 8.5dfsg-6
warnings: In debian/watch no matching files for watch line https://github.com/acl2-devel/acl2-devel/releases .*/acl2-v?(\d\S*)\.tar\.gz
watch_file:
version=4
opts=dversionmangle=s/dfsg\d*$// https://github.com/acl2-devel/acl2-devel/releases .*/acl2-v?(\d\S*)\.tar\.gz