| Parent Directory/ | | - | Directory |
| acl2-books-certs_8.5dfsg-6_all.deb | 2024-Jul-29 07:44:16 | 64.1M | application/vnd.debian.binary-package |
| acl2-books-source_8.5dfsg-6_all.deb | 2024-Jul-29 07:44:17 | 23.5M | application/vnd.debian.binary-package |
| acl2-books_8.5dfsg-6_amd64.deb | 2024-Jul-29 07:18:52 | 151.0M | application/vnd.debian.binary-package |
| acl2-books_8.5dfsg-6_arm64.deb | 2024-Jul-29 07:18:49 | 148.7M | application/vnd.debian.binary-package |
| acl2-books_8.5dfsg-6_armel.deb | 2024-Jul-29 08:25:21 | 142.2M | application/vnd.debian.binary-package |
| acl2-books_8.5dfsg-6_armhf.deb | 2024-Jul-29 15:35:56 | 144.1M | application/vnd.debian.binary-package |
| acl2-books_8.5dfsg-6_i386.deb | 2024-Jul-29 07:49:19 | 132.8M | application/vnd.debian.binary-package |
| acl2-doc_8.5dfsg-6_all.deb | 2024-Jul-29 07:44:17 | 470.1K | application/vnd.debian.binary-package |
| acl2-infix-source_8.5dfsg-6_all.deb | 2024-Jul-29 07:44:17 | 70.7K | application/vnd.debian.binary-package |
| acl2-infix_8.5dfsg-6_amd64.deb | 2024-Jul-29 07:18:52 | 465.1K | application/vnd.debian.binary-package |
| acl2-infix_8.5dfsg-6_arm64.deb | 2024-Jul-29 07:18:49 | 454.9K | application/vnd.debian.binary-package |
| acl2-infix_8.5dfsg-6_armel.deb | 2024-Jul-29 08:25:21 | 458.5K | application/vnd.debian.binary-package |
| acl2-infix_8.5dfsg-6_armhf.deb | 2024-Jul-29 15:35:56 | 474.7K | application/vnd.debian.binary-package |
| acl2-infix_8.5dfsg-6_i386.deb | 2024-Jul-29 07:49:19 | 475.2K | application/vnd.debian.binary-package |
| acl2-source_8.5dfsg-6_all.deb | 2024-Jul-29 07:44:17 | 3.4M | application/vnd.debian.binary-package |
| acl2_8.5dfsg-6.debian.tar.xz | 2024-Jul-29 00:31:09 | 305.5K | application/x-xz |
| acl2_8.5dfsg-6.dsc | 2024-Jul-29 00:31:09 | 2.2K | application/octet-stream |
| acl2_8.5dfsg-6_amd64.deb | 2024-Jul-29 07:18:52 | 22.0M | application/vnd.debian.binary-package |
| acl2_8.5dfsg-6_arm64.deb | 2024-Jul-29 07:18:49 | 20.1M | application/vnd.debian.binary-package |
| acl2_8.5dfsg-6_armel.deb | 2024-Jul-29 08:25:21 | 18.0M | application/vnd.debian.binary-package |
| acl2_8.5dfsg-6_armhf.deb | 2024-Jul-29 15:35:56 | 18.4M | application/vnd.debian.binary-package |
| acl2_8.5dfsg-6_i386.deb | 2024-Jul-29 07:49:19 | 19.1M | application/vnd.debian.binary-package |
| acl2_8.5dfsg.orig.tar.gz | 2022-Jul-27 22:13:36 | 213.1M | application/gzip |
| elpa-acl2_8.5dfsg-6_all.deb | 2024-Jul-29 07:44:17 | 69.0K | application/vnd.debian.binary-package |