| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| acl2-books_8.4dfsg-2_sh4.deb | 259594000 | 2021-Nov-07 09:03 | |
| acl2-infix_8.4dfsg-2_sh4.deb | 490924 | 2021-Nov-07 09:03 | |
| acl2_8.4dfsg-2_sh4.buildinfo | 8410 | 2021-Nov-07 09:03 | |
| acl2_8.4dfsg-2_sh4.deb | 20038308 | 2021-Nov-07 09:03 | |