| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 acl2-books-certs_8.6+dfsg-3_all.deb | 221931052 bytes | 2025-05-14 23:24:46 |
| 📄 acl2-books-source_8.6+dfsg-3_all.deb | 27499896 bytes | 2025-05-14 23:24:46 |
| 📄 acl2-doc_8.6+dfsg-3_all.deb | 525148 bytes | 2025-05-14 23:24:46 |
| 📄 acl2-infix-source_8.6+dfsg-3_all.deb | 72836 bytes | 2025-05-14 23:24:46 |
| 📄 acl2-source_8.6+dfsg-3_all.deb | 3997164 bytes | 2025-05-14 23:24:46 |
| 📄 elpa-acl2_8.6+dfsg-3_all.deb | 78456 bytes | 2025-05-14 23:24:46 |