| acl2 in oldstable222sid |
| Source: | acl2 | piuparts summary: |  | Version: | 8.5dfsg-6 |
| Maintainer: | Camm Maguire <camm@debian.org> |
| Binary: | acl2 | piuparts-result: | successfully-tested 8.5dfsg-6 | Version: | 8.5dfsg-6 [cruft] |
| Binary: | acl2-books | piuparts-result: | successfully-tested 8.5dfsg-6 | Version: | 8.5dfsg-6 [cruft] |
| Binary: | acl2-books-certs:all | piuparts-result: | successfully-tested 8.5dfsg-6 | Version: | 8.5dfsg-6 [cruft] |
| Binary: | acl2-books-source:all | piuparts-result: | successfully-tested 8.5dfsg-6 | Version: | 8.5dfsg-6 [cruft] |
| Binary: | acl2-doc:all | piuparts-result: | successfully-tested 8.5dfsg-6 | Version: | 8.5dfsg-6 [cruft] |
| Binary: | acl2-emacs:all | piuparts-result: | failed-testing None | Version: | None [cruft] |
| Binary: | acl2-infix | piuparts-result: | dependency-cannot-be-tested N/A | Version: | 8.5dfsg-6 [cruft] |
| Binary: | acl2-infix-source:all | piuparts-result: | successfully-tested 8.5dfsg-6 | Version: | 8.5dfsg-6 [cruft] |
| Binary: | acl2-source:all | piuparts-result: | successfully-tested 8.5dfsg-6 | Version: | 8.5dfsg-6 [cruft] |
Quality Assurance
