Marked for autoremoval on 05 October due to csh: #1096486high
Version 8.6+dfsg-3 of acl2 is marked for autoremoval from testing on Sun 05 Oct 2025. It depends (transitively) on csh, affected by #1096486. You should try to prevent the removal by fixing these RC bugs.