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