| Parent directory/ | - | - |
| acl2-books-certs_6.5-2~bpo70+1_all.deb | 19595980 | 2015-Jan-14 16:26 |
| acl2_6.5.orig-books.tar.gz | 14978744 | 2014-Aug-17 15:21 |
| acl2-books-source_6.5-2~bpo70+1_all.deb | 10741494 | 2015-Jan-14 16:26 |
| acl2_6.5.orig.tar.gz | 6192434 | 2014-Aug-17 15:21 |
| acl2-source_6.5-2~bpo70+1_all.deb | 3867396 | 2015-Jan-14 16:26 |
| acl2-doc_6.5-2~bpo70+1_all.deb | 2291762 | 2015-Jan-14 16:26 |
| acl2_6.5-2~bpo70+1.debian.tar.gz | 163474 | 2015-Jan-14 16:26 |
| acl2-infix-source_6.5-2~bpo70+1_all.deb | 92182 | 2015-Jan-14 16:26 |
| acl2-emacs_6.5-2~bpo70+1_all.deb | 72934 | 2015-Jan-14 16:26 |
| acl2_6.5-2~bpo70+1.dsc | 2401 | 2015-Jan-14 16:26 |