| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 acl2-books_6.3-6_alpha.deb | 21729332 bytes | 2013-11-20 11:09:14 |
| 📄 acl2-books_8.4dfsg-2_alpha.deb | 296620392 bytes | 2021-11-07 09:03:04 |
| 📄 acl2-infix_6.3-6_alpha.deb | 135122 bytes | 2013-11-20 11:06:48 |
| 📄 acl2-infix_8.4dfsg-2_alpha.deb | 514160 bytes | 2021-11-07 09:03:04 |
| 📄 acl2_6.3-6_alpha.deb | 13773618 bytes | 2013-11-20 11:07:44 |
| 📄 acl2_8.4dfsg-2_alpha.buildinfo | 8378 bytes | 2021-11-07 09:03:04 |
| 📄 acl2_8.4dfsg-2_alpha.deb | 21369484 bytes | 2021-11-07 09:03:04 |