Marked for autoremoval on 31 October: #1083157high
Version 8.5dfsg-6 of acl2 is marked for autoremoval from testing on Thu 31 Oct 2024. It is affected by #1083157. You should try to prevent the removal by fixing these RC bugs.
Problems while searching for a new upstream version
high
uscan had problems while searching for a new upstream version:
In debian/watch no matching files for watch line
https://github.com/acl2-devel/acl2-devel/releases .*/acl2-v?(\d\S*)\.tar\.gz
Among the 9 debian patches
available in version 8.5dfsg-6 of the package,
we noticed the following issues:
4 patches
where the metadata indicates that the patch has not yet been forwarded
upstream. You should either forward the patch upstream or update the
metadata to document its real status.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/a/acl2.png){kind=link}