| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| acl2-books-certs_8.0dfsg-1_all.deb | 73306868 | 2022-Apr-11 03:40 |
| acl2-books-source_8.0dfsg-1_all.deb | 12473396 | 2022-Apr-11 03:43 |
| acl2-books_8.0dfsg-1_amd64.deb | 137946376 | 2022-Apr-11 03:13 |
| acl2-books_8.0dfsg-1_i386.deb | 115998080 | 2022-Apr-11 02:57 |
| acl2-doc_8.0dfsg-1_all.deb | 401524 | 2022-Apr-11 03:20 |
| acl2-emacs_8.0dfsg-1_all.deb | 67608 | 2022-Apr-11 03:17 |
| acl2-infix-source_8.0dfsg-1_all.deb | 79188 | 2022-Apr-11 03:10 |
| acl2-infix_8.0dfsg-1_amd64.deb | 432032 | 2022-Apr-11 03:44 |
| acl2-infix_8.0dfsg-1_i386.deb | 399340 | 2022-Apr-11 03:06 |
| acl2-source_8.0dfsg-1_all.deb | 3081324 | 2022-Apr-11 02:56 |
| acl2_8.0dfsg-1.debian.tar.xz | 204760 | 2022-Apr-11 03:44 |
| acl2_8.0dfsg-1.dsc | 2245 | 2022-Apr-11 03:44 |
| acl2_8.0dfsg-1_amd64.deb | 19855896 | 2022-Apr-11 03:30 |
| acl2_8.0dfsg-1_i386.deb | 16994808 | 2022-Apr-11 03:02 |
| acl2_8.0dfsg.orig.tar.gz | 77635571 | 2022-Apr-11 03:44 |