src:acl2
Date: 2025-09-19 05:00:01
Debian testing (main only)
| package | summary |
|---|---|
| acl2-books-source (= 8.6+dfsg-3) | unsatisfied dependency on acl2 (>= 8.6+dfsg-3) |
| acl2-books-certs (= 8.6+dfsg-3) | unsatisfied dependency on acl2 (>= 8.6+dfsg-3) |
| acl2-doc (= 8.6+dfsg-3) | unsatisfied dependency on dpkg (>= 1.15.4) |
| acl2-source (= 8.6+dfsg-3) | unsatisfied dependency on libtext-charwidth-perl |
| acl2-infix-source (= 8.6+dfsg-3) | unsatisfied dependency on libtext-charwidth-perl |
| elpa-acl2 (= 8.6+dfsg-3) | unsatisfied dependency on acl2 (>= 8.6+dfsg-3) |
Build-dependencies testing (main only)
| package | summary |
|---|---|
| acl2 (= 8.6+dfsg-3) | unsatisfied dependency on build-essential |