| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 acl2-books-certs_8.7+dfsg-3_all.deb | 243805664 bytes | 2026-07-17 21:29:22 |
| 📄 acl2-books-source_8.7+dfsg-3_all.deb | 29736396 bytes | 2026-07-17 21:29:22 |
| 📄 acl2-doc_8.7+dfsg-3_all.deb | 546172 bytes | 2026-07-17 21:29:22 |
| 📄 acl2-infix-source_8.7+dfsg-3_all.deb | 71952 bytes | 2026-07-17 21:29:22 |
| 📄 acl2-source_8.7+dfsg-3_all.deb | 4071680 bytes | 2026-07-17 21:29:22 |
| 📄 elpa-acl2_8.7+dfsg-3_all.deb | 77584 bytes | 2026-07-17 21:29:22 |