| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 acl2-books_8.6+dfsg-3_x32.deb | 152087104 bytes | 2025-05-17 18:03:01 |
| 📄 acl2-infix_8.6+dfsg-3_x32.deb | 889684 bytes | 2025-05-17 18:03:01 |
| 📄 acl2_8.6+dfsg-3_x32.buildinfo | 8202 bytes | 2025-05-17 18:03:01 |
| 📄 acl2_8.6+dfsg-3_x32.deb | 42375380 bytes | 2025-05-17 18:03:01 |