| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 acl2-books_8.7+dfsg-3_sparc64.deb | 476259348 bytes | 2026-07-19 00:03:02 |
| 📄 acl2-infix_8.7+dfsg-3_sparc64.deb | 919188 bytes | 2026-07-19 00:03:02 |
| 📄 acl2_8.7+dfsg-3_sparc64.buildinfo | 8154 bytes | 2026-07-19 00:03:02 |
| 📄 acl2_8.7+dfsg-3_sparc64.deb | 31406040 bytes | 2026-07-19 00:03:02 |