| Parent directory/ | - | - |
| acl2-books-certs_4.0-3_all.deb | 2M | 09-Jul-2010 17:02 |
| acl2-books-source_4.0-3_all.deb | 5M | 09-Jul-2010 17:02 |
| acl2-books_4.0-3_amd64.deb | 37M | 09-Jul-2010 21:32 |
| acl2-books_4.0-3_i386.deb | 32M | 09-Jul-2010 17:02 |
| acl2-doc_4.0-3_all.deb | 3M | 09-Jul-2010 17:02 |
| acl2-emacs_4.0-3_all.deb | 57K | 09-Jul-2010 17:02 |
| acl2-infix-source_4.0-3_all.deb | 87K | 09-Jul-2010 17:02 |
| acl2-infix_4.0-3_amd64.deb | 420K | 09-Jul-2010 21:32 |
| acl2-infix_4.0-3_i386.deb | 381K | 09-Jul-2010 17:02 |
| acl2-source_4.0-3_all.deb | 3M | 09-Jul-2010 17:02 |
| acl2_4.0-3_amd64.deb | 25M | 09-Jul-2010 21:32 |
| acl2_4.0-3_i386.deb | 21M | 09-Jul-2010 17:02 |