| Parent directory/ | - | - |
| acl2-books-certs_4.3-3_all.deb | 4M | 24-Sep-2017 11:06 |
| acl2-books-certs_6.3-6_all.deb | 3M | 15-Sep-2017 06:49 |
| acl2-books-certs_8.0dfsg-1_all.deb | 70M | 13-Jan-2018 13:52 |
| acl2-books-source_4.3-3_all.deb | 6M | 24-Sep-2017 11:06 |
| acl2-books-source_6.3-6_all.deb | 5M | 15-Sep-2017 06:49 |
| acl2-books-source_8.0dfsg-1_all.deb | 12M | 13-Jan-2018 13:52 |
| acl2-books_4.3-3_amd64.deb | 15M | 24-Sep-2017 11:06 |
| acl2-books_6.3-6_amd64.deb | 18M | 15-Sep-2017 06:49 |
| acl2-books_8.0dfsg-1_amd64.deb | 132M | 13-Jan-2018 13:52 |
| acl2-doc_4.3-3_all.deb | 354K | 24-Sep-2017 11:06 |
| acl2-doc_6.3-6_all.deb | 12M | 15-Sep-2017 06:49 |
| acl2-doc_8.0dfsg-1_all.deb | 392K | 13-Jan-2018 13:52 |
| acl2-emacs_4.3-3_all.deb | 59K | 24-Sep-2017 11:06 |
| acl2-emacs_6.3-6_all.deb | 52K | 15-Sep-2017 06:49 |
| acl2-emacs_8.0dfsg-1_all.deb | 66K | 13-Jan-2018 13:52 |
| acl2-infix-source_4.3-3_all.deb | 89K | 24-Sep-2017 11:06 |
| acl2-infix-source_6.3-6_all.deb | 76K | 15-Sep-2017 06:49 |
| acl2-infix-source_8.0dfsg-1_all.deb | 77K | 13-Jan-2018 13:52 |
| acl2-infix_4.3-3_amd64.deb | 199K | 24-Sep-2017 11:06 |
| acl2-infix_6.3-6_amd64.deb | 147K | 15-Sep-2017 06:49 |
| acl2-infix_8.0dfsg-1_amd64.deb | 422K | 13-Jan-2018 13:52 |
| acl2-source_4.3-3_all.deb | 3M | 24-Sep-2017 11:06 |
| acl2-source_6.3-6_all.deb | 3M | 15-Sep-2017 06:49 |
| acl2-source_8.0dfsg-1_all.deb | 3M | 13-Jan-2018 13:52 |
| acl2_4.3-3_amd64.deb | 27M | 24-Sep-2017 11:06 |
| acl2_6.3-6_amd64.deb | 16M | 15-Sep-2017 06:49 |
| acl2_8.0dfsg-1.debian.tar.xz | 200K | 13-Jan-2018 13:52 |
| acl2_8.0dfsg-1.dsc | 2245 | 13-Jan-2018 13:52 |
| acl2_8.0dfsg-1_amd64.deb | 19M | 13-Jan-2018 13:52 |
| acl2_8.0dfsg.orig.tar.gz | 74M | 13-Jan-2018 13:52 |