| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 acl2-books_8.6+dfsg-3_sparc64.deb | 425951284 bytes | 2025-05-31 21:03:02 |
| 📄 acl2-infix_8.6+dfsg-3_sparc64.deb | 899284 bytes | 2025-05-31 21:03:02 |
| 📄 acl2_8.6+dfsg-3_sparc64.buildinfo | 8172 bytes | 2025-05-31 21:03:02 |
| 📄 acl2_8.6+dfsg-3_sparc64.deb | 35077556 bytes | 2025-05-31 21:03:02 |