| Parent Directory/ | | - | Directory |
| acl2-books-certs_8.0dfsg-1_all.deb | 2022-Apr-11 11:40:11 | 69.9M | application/vnd.debian.binary-package |
| acl2-books-source_8.0dfsg-1_all.deb | 2022-Apr-11 11:43:38 | 11.9M | application/vnd.debian.binary-package |
| acl2-books_8.0dfsg-1_amd64.deb | 2022-Apr-11 11:13:01 | 131.5M | application/vnd.debian.binary-package |
| acl2-books_8.0dfsg-1_i386.deb | 2022-Apr-11 10:57:37 | 110.6M | application/vnd.debian.binary-package |
| acl2-doc_8.0dfsg-1_all.deb | 2022-Apr-11 11:20:41 | 392.1K | application/vnd.debian.binary-package |
| acl2-emacs_8.0dfsg-1_all.deb | 2022-Apr-11 11:17:00 | 66.0K | application/vnd.debian.binary-package |
| acl2-infix-source_8.0dfsg-1_all.deb | 2022-Apr-11 11:10:31 | 77.3K | application/vnd.debian.binary-package |
| acl2-infix_8.0dfsg-1_amd64.deb | 2022-Apr-11 11:44:26 | 421.9K | application/vnd.debian.binary-package |
| acl2-infix_8.0dfsg-1_i386.deb | 2022-Apr-11 11:06:37 | 389.9K | application/vnd.debian.binary-package |
| acl2-source_8.0dfsg-1_all.deb | 2022-Apr-11 10:56:31 | 2.9M | application/vnd.debian.binary-package |
| acl2_8.0dfsg-1.debian.tar.xz | 2022-Apr-11 11:44:47 | 199.9K | application/x-xz |
| acl2_8.0dfsg-1.dsc | 2022-Apr-11 11:44:47 | 2.1K | application/octet-stream |
| acl2_8.0dfsg-1_amd64.deb | 2022-Apr-11 11:30:38 | 18.9M | application/vnd.debian.binary-package |
| acl2_8.0dfsg-1_i386.deb | 2022-Apr-11 11:02:47 | 16.2M | application/vnd.debian.binary-package |
| acl2_8.0dfsg.orig.tar.gz | 2022-Apr-11 11:44:49 | 74.0M | application/gzip |