| ../ | | - | Directory |
| acl2-books-certs_8.6+dfsg-2_all.deb | 2025-Jul-16 01:05:59 | 200.4M | application/vnd.debian.binary-package |
| acl2-books-source_8.6+dfsg-2_all.deb | 2025-Jul-16 01:06:43 | 26.2M | application/vnd.debian.binary-package |
| acl2-books_8.6+dfsg-2_amd64.deb | 2025-Jul-16 01:06:36 | 415.5M | application/vnd.debian.binary-package |
| acl2-books_8.6+dfsg-2_arm64.deb | 2025-Jul-16 01:05:41 | 415.6M | application/vnd.debian.binary-package |
| acl2-books_8.6+dfsg-2_i386.deb | 2025-Jul-16 01:05:23 | 358.3M | application/vnd.debian.binary-package |
| acl2-books_8.6+dfsg-2_loong64.deb | 2025-Jul-16 01:07:19 | 524.9M | application/vnd.debian.binary-package |
| acl2-books_8.6+dfsg-2_riscv64.deb | 2025-Jul-16 01:07:44 | 922.5M | application/vnd.debian.binary-package |
| acl2-doc_8.6+dfsg-2_all.deb | 2025-Jul-16 01:06:58 | 512.5K | application/vnd.debian.binary-package |
| acl2-infix-source_8.6+dfsg-2_all.deb | 2025-Jul-16 01:05:05 | 70.9K | application/vnd.debian.binary-package |
| acl2-infix_8.6+dfsg-2_amd64.deb | 2025-Jul-16 01:05:02 | 856.3K | application/vnd.debian.binary-package |
| acl2-infix_8.6+dfsg-2_arm64.deb | 2025-Jul-16 01:06:26 | 831.4K | application/vnd.debian.binary-package |
| acl2-infix_8.6+dfsg-2_i386.deb | 2025-Jul-16 01:05:31 | 853.4K | application/vnd.debian.binary-package |
| acl2-infix_8.6+dfsg-2_loong64.deb | 2025-Jul-16 01:05:25 | 1.0M | application/vnd.debian.binary-package |
| acl2-infix_8.6+dfsg-2_riscv64.deb | 2025-Jul-16 01:07:21 | 1.7M | application/vnd.debian.binary-package |
| acl2-source_8.6+dfsg-2_all.deb | 2025-Jul-16 01:06:14 | 3.8M | application/vnd.debian.binary-package |
| acl2_8.6+dfsg-2.debian.tar.xz | 2025-Jul-18 07:28:55 | 434.8K | application/x-xz |
| acl2_8.6+dfsg-2.dsc | 2025-Jul-18 07:28:51 | 1.3K | text/prs.lines.tag |
| acl2_8.6+dfsg-2_amd64.deb | 2025-Jul-16 01:05:29 | 35.6M | application/vnd.debian.binary-package |
| acl2_8.6+dfsg-2_arm64.deb | 2025-Jul-16 01:06:39 | 35.0M | application/vnd.debian.binary-package |
| acl2_8.6+dfsg-2_i386.deb | 2025-Jul-16 01:06:12 | 38.6M | application/vnd.debian.binary-package |
| acl2_8.6+dfsg-2_loong64.deb | 2025-Jul-16 01:07:24 | 35.3M | application/vnd.debian.binary-package |
| acl2_8.6+dfsg-2_riscv64.deb | 2025-Jul-16 01:06:55 | 34.5M | application/vnd.debian.binary-package |
| acl2_8.6+dfsg.orig.tar.gz | 2025-Jul-18 07:28:55 | 229.2M | application/x-gtar-compressed |
| elpa-acl2_8.6+dfsg-2_all.deb | 2025-Jul-16 01:05:43 | 76.3K | application/vnd.debian.binary-package |