Watch file results

component: main
distribution: debian
last_check: 2024-03-27 00:24:15.17237
release: sid
source: acl2
status: error
version: 8.5dfsg-5
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