| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 acl2-books_8.7+dfsg-3_x32.deb | 62453776 bytes | 2026-07-18 00:03:01 |
| 📄 acl2-infix_8.7+dfsg-3_x32.deb | 895136 bytes | 2026-07-18 00:03:01 |
| 📄 acl2_8.7+dfsg-3_x32.buildinfo | 8280 bytes | 2026-07-18 00:03:01 |
| 📄 acl2_8.7+dfsg-3_x32.deb | 37951736 bytes | 2026-07-18 00:03:01 |