Watch file results
component: main
distribution: debian
last_check: 2023-03-29 00:24:13.602002
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