| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 acl2-books_8.7+dfsg-3_hurd-amd64.deb | 477503920 bytes | 2026-07-18 18:03:01 |
| 📄 acl2-infix_8.7+dfsg-3_hurd-amd64.deb | 893828 bytes | 2026-07-18 18:03:01 |
| 📄 acl2_8.7+dfsg-3_hurd-amd64.buildinfo | 8834 bytes | 2026-07-18 18:03:01 |
| 📄 acl2_8.7+dfsg-3_hurd-amd64.deb | 37665752 bytes | 2026-07-18 18:03:01 |