| name | size | date |
|---|---|---|
| acl2-books_2.9-2_amd64.deb | 1.00M | 2005-04-30 11:19:18 |
| acl2-emacs_2.9-2_all.deb | 47.6K | 2005-04-30 11:19:18 |
| acl2-infix_2.9-2_amd64.deb | 210.2K | 2005-04-30 11:19:18 |
| acl2_2.9-2.dsc | 0.8K | 2005-04-30 11:19:18 |
| acl2_2.9-2_amd64.deb | 15.94M | 2005-04-30 11:19:18 |
| acl2_2.9.orig.tar.gz | 4.96M | 2005-04-30 11:19:18 |
| acl2-books-certs_2.9-2_all.deb | 288.9K | 2004-11-11 03:02:03 |
| acl2-books-source_2.9-2_all.deb | 1.18M | 2004-11-11 03:02:03 |
| acl2-doc_2.9-2_all.deb | 1.71M | 2004-11-11 03:02:03 |
| acl2-infix-source_2.9-2_all.deb | 82.3K | 2004-11-11 03:02:03 |
| acl2-source_2.9-2_all.deb | 1.95M | 2004-11-11 03:02:03 |
| acl2_2.9-2.diff.gz | 17.7K | 2004-11-11 03:02:03 |