| ../ | | - | Directory |
| acl2-books-certs_2.9-2_all.deb | 2004-Nov-11 08:32:03 | 288.8K | application/vnd.debian.binary-package |
| acl2-books-source_2.9-2_all.deb | 2004-Nov-11 08:32:03 | 1.1M | application/vnd.debian.binary-package |
| acl2-books_2.9-2_amd64.deb | 2005-Apr-30 16:49:18 | 1.0M | application/vnd.debian.binary-package |
| acl2-doc_2.9-2_all.deb | 2004-Nov-11 08:32:03 | 1.7M | application/vnd.debian.binary-package |
| acl2-emacs_2.9-2_all.deb | 2005-Apr-30 16:49:18 | 47.6K | application/vnd.debian.binary-package |
| acl2-infix-source_2.9-2_all.deb | 2004-Nov-11 08:32:03 | 82.2K | application/vnd.debian.binary-package |
| acl2-infix_2.9-2_amd64.deb | 2005-Apr-30 16:49:18 | 210.2K | application/vnd.debian.binary-package |
| acl2-source_2.9-2_all.deb | 2004-Nov-11 08:32:03 | 1.9M | application/vnd.debian.binary-package |
| acl2_2.9-2.diff.gz | 2004-Nov-11 08:32:03 | 17.7K | application/gzip |
| acl2_2.9-2.dsc | 2005-Apr-30 16:49:18 | 0.7K | text/prs.lines.tag |
| acl2_2.9-2_amd64.deb | 2005-Apr-30 16:49:18 | 15.9M | application/vnd.debian.binary-package |
| acl2_2.9.orig.tar.gz | 2005-Apr-30 16:49:18 | 4.9M | application/x-gtar-compressed |