| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 acl2-books_8.7+dfsg-2_x32.deb | 68368872 bytes | 2026-06-18 06:03:02 |
| 📄 acl2-infix_8.7+dfsg-2_x32.deb | 897076 bytes | 2026-06-18 06:03:02 |
| 📄 acl2_8.7+dfsg-2_x32.buildinfo | 8311 bytes | 2026-06-18 06:03:02 |
| 📄 acl2_8.7+dfsg-2_x32.deb | 41895288 bytes | 2026-06-18 06:03:02 |