../ | | - | Directory |
acl2-books-certs_8.0dfsg-1_all.deb | 2018-Jan-13 14:52:57 | 69.9M | application/vnd.debian.binary-package |
acl2-books-certs_8.3dfsg-2_all.deb | 2021-Jan-28 03:25:23 | 138.6M | application/vnd.debian.binary-package |
acl2-books-certs_8.5dfsg-5_all.deb | 2023-Jan-16 15:55:57 | 170.1M | application/vnd.debian.binary-package |
acl2-books-certs_8.5dfsg-6_all.deb | 2024-Jul-29 01:44:16 | 64.1M | application/vnd.debian.binary-package |
acl2-books-source_8.0dfsg-1_all.deb | 2018-Jan-13 14:52:57 | 11.9M | application/vnd.debian.binary-package |
acl2-books-source_8.3dfsg-2_all.deb | 2021-Jan-28 03:25:23 | 18.6M | application/vnd.debian.binary-package |
acl2-books-source_8.5dfsg-5_all.deb | 2023-Jan-16 15:55:57 | 23.5M | application/vnd.debian.binary-package |
acl2-books-source_8.5dfsg-6_all.deb | 2024-Jul-29 01:44:17 | 23.5M | application/vnd.debian.binary-package |
acl2-books_8.0dfsg-1_amd64.deb | 2018-Jan-13 14:52:59 | 131.5M | application/vnd.debian.binary-package |
acl2-books_8.0dfsg-1_arm64.deb | 2018-Jan-14 03:47:41 | 134.8M | application/vnd.debian.binary-package |
acl2-books_8.0dfsg-1_armhf.deb | 2018-Jan-15 09:46:11 | 119.5M | application/vnd.debian.binary-package |
acl2-books_8.0dfsg-1_i386.deb | 2018-Jan-13 22:26:14 | 110.6M | application/vnd.debian.binary-package |
acl2-books_8.3dfsg-2_amd64.deb | 2021-Jan-27 22:57:13 | 241.1M | application/vnd.debian.binary-package |
acl2-books_8.3dfsg-2_arm64.deb | 2021-Jan-28 16:43:01 | 235.9M | application/vnd.debian.binary-package |
acl2-books_8.3dfsg-2_armel.deb | 2021-Jan-28 08:13:11 | 218.3M | application/vnd.debian.binary-package |
acl2-books_8.3dfsg-2_armhf.deb | 2021-Jan-28 07:42:54 | 222.9M | application/vnd.debian.binary-package |
acl2-books_8.3dfsg-2_i386.deb | 2021-Jan-27 23:22:26 | 203.9M | application/vnd.debian.binary-package |
acl2-books_8.3dfsg-2_mips64el.deb | 2021-Jan-30 20:12:15 | 253.6M | application/vnd.debian.binary-package |
acl2-books_8.3dfsg-2_mipsel.deb | 2021-Jan-29 10:42:16 | 227.9M | application/vnd.debian.binary-package |
acl2-books_8.3dfsg-2_ppc64el.deb | 2021-Jan-28 00:44:10 | 244.7M | application/vnd.debian.binary-package |
acl2-books_8.3dfsg-2_s390x.deb | 2021-Jan-28 03:35:29 | 218.9M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-5_amd64.deb | 2023-Jan-16 21:15:10 | 286.9M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-5_arm64.deb | 2023-Jan-17 22:13:23 | 289.4M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-5_armel.deb | 2023-Jan-17 20:26:45 | 267.8M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-5_armhf.deb | 2023-Jan-17 12:32:25 | 271.7M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-5_i386.deb | 2023-Jan-16 16:16:26 | 247.5M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-5_mips64el.deb | 2023-Jan-23 13:58:23 | 309.4M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-5_mipsel.deb | 2023-Jan-22 01:30:47 | 284.5M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-5_ppc64el.deb | 2023-Jan-18 21:10:39 | 291.5M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-5_s390x.deb | 2023-Jan-16 15:30:31 | 267.3M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-6_amd64.deb | 2024-Jul-29 01:18:52 | 151.0M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-6_arm64.deb | 2024-Jul-29 01:18:49 | 148.7M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-6_armel.deb | 2024-Jul-29 02:25:21 | 142.2M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-6_armhf.deb | 2024-Jul-29 09:35:56 | 144.1M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-6_i386.deb | 2024-Jul-29 01:49:19 | 132.8M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-6_mips64el.deb | 2024-Aug-01 14:54:47 | 163.6M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-6_ppc64el.deb | 2024-Jul-29 00:17:49 | 156.8M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-6_riscv64.deb | 2024-Jul-31 15:49:26 | 369.7M | application/vnd.debian.binary-package |
acl2-books_8.5dfsg-6_s390x.deb | 2024-Jul-31 15:28:39 | 147.9M | application/vnd.debian.binary-package |
acl2-doc_8.0dfsg-1_all.deb | 2018-Jan-13 14:52:59 | 392.1K | application/vnd.debian.binary-package |
acl2-doc_8.3dfsg-2_all.deb | 2021-Jan-28 03:25:23 | 437.1K | application/vnd.debian.binary-package |
acl2-doc_8.5dfsg-5_all.deb | 2023-Jan-16 15:55:57 | 470.0K | application/vnd.debian.binary-package |
acl2-doc_8.5dfsg-6_all.deb | 2024-Jul-29 01:44:17 | 470.1K | application/vnd.debian.binary-package |
acl2-emacs_8.0dfsg-1_all.deb | 2018-Jan-13 14:52:59 | 66.0K | application/vnd.debian.binary-package |
acl2-emacs_8.3dfsg-2_all.deb | 2021-Jan-28 03:25:23 | 67.8K | application/vnd.debian.binary-package |
acl2-infix-source_8.0dfsg-1_all.deb | 2018-Jan-13 14:52:59 | 77.3K | application/vnd.debian.binary-package |
acl2-infix-source_8.3dfsg-2_all.deb | 2021-Jan-28 03:25:23 | 78.0K | application/vnd.debian.binary-package |
acl2-infix-source_8.5dfsg-5_all.deb | 2023-Jan-16 15:55:57 | 70.6K | application/vnd.debian.binary-package |
acl2-infix-source_8.5dfsg-6_all.deb | 2024-Jul-29 01:44:17 | 70.7K | application/vnd.debian.binary-package |
acl2-infix_8.0dfsg-1_amd64.deb | 2018-Jan-13 14:52:59 | 421.9K | application/vnd.debian.binary-package |
acl2-infix_8.0dfsg-1_arm64.deb | 2018-Jan-14 03:47:41 | 432.4K | application/vnd.debian.binary-package |
acl2-infix_8.0dfsg-1_armhf.deb | 2018-Jan-15 09:46:11 | 406.5K | application/vnd.debian.binary-package |
acl2-infix_8.0dfsg-1_i386.deb | 2018-Jan-13 22:26:14 | 389.9K | application/vnd.debian.binary-package |
acl2-infix_8.3dfsg-2_amd64.deb | 2021-Jan-27 22:57:13 | 478.8K | application/vnd.debian.binary-package |
acl2-infix_8.3dfsg-2_arm64.deb | 2021-Jan-28 16:43:01 | 469.4K | application/vnd.debian.binary-package |
acl2-infix_8.3dfsg-2_armel.deb | 2021-Jan-28 08:13:11 | 462.9K | application/vnd.debian.binary-package |
acl2-infix_8.3dfsg-2_armhf.deb | 2021-Jan-28 07:42:54 | 478.2K | application/vnd.debian.binary-package |
acl2-infix_8.3dfsg-2_i386.deb | 2021-Jan-27 23:22:26 | 484.8K | application/vnd.debian.binary-package |
acl2-infix_8.3dfsg-2_mips64el.deb | 2021-Jan-30 20:12:15 | 503.3K | application/vnd.debian.binary-package |
acl2-infix_8.3dfsg-2_mipsel.deb | 2021-Jan-29 10:42:16 | 508.9K | application/vnd.debian.binary-package |
acl2-infix_8.3dfsg-2_ppc64el.deb | 2021-Jan-28 00:44:10 | 497.8K | application/vnd.debian.binary-package |
acl2-infix_8.3dfsg-2_s390x.deb | 2021-Jan-28 03:35:29 | 434.9K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-5_amd64.deb | 2023-Jan-16 21:15:10 | 464.1K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-5_arm64.deb | 2023-Jan-17 22:13:23 | 460.6K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-5_armel.deb | 2023-Jan-17 20:26:45 | 459.0K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-5_armhf.deb | 2023-Jan-17 12:32:25 | 472.3K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-5_i386.deb | 2023-Jan-16 16:16:26 | 477.4K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-5_mips64el.deb | 2023-Jan-23 13:58:24 | 490.5K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-5_mipsel.deb | 2023-Jan-22 01:30:47 | 502.8K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-5_ppc64el.deb | 2023-Jan-18 21:10:39 | 483.0K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-5_s390x.deb | 2023-Jan-16 15:30:31 | 431.9K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-6_amd64.deb | 2024-Jul-29 01:18:52 | 465.1K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-6_arm64.deb | 2024-Jul-29 01:18:49 | 454.9K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-6_armel.deb | 2024-Jul-29 02:25:21 | 458.5K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-6_armhf.deb | 2024-Jul-29 09:35:56 | 474.7K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-6_i386.deb | 2024-Jul-29 01:49:19 | 475.2K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-6_mips64el.deb | 2024-Aug-01 14:54:47 | 491.2K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-6_ppc64el.deb | 2024-Jul-29 00:17:49 | 485.0K | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-6_riscv64.deb | 2024-Jul-31 15:49:26 | 0.9M | application/vnd.debian.binary-package |
acl2-infix_8.5dfsg-6_s390x.deb | 2024-Jul-31 15:28:39 | 464.3K | application/vnd.debian.binary-package |
acl2-source_8.0dfsg-1_all.deb | 2018-Jan-13 14:52:59 | 2.9M | application/vnd.debian.binary-package |
acl2-source_8.3dfsg-2_all.deb | 2021-Jan-28 03:25:23 | 3.1M | application/vnd.debian.binary-package |
acl2-source_8.5dfsg-5_all.deb | 2023-Jan-16 15:55:57 | 3.4M | application/vnd.debian.binary-package |
acl2-source_8.5dfsg-6_all.deb | 2024-Jul-29 01:44:17 | 3.4M | application/vnd.debian.binary-package |
acl2_8.0dfsg-1.debian.tar.xz | 2018-Jan-13 14:52:57 | 199.9K | application/x-xz |
acl2_8.0dfsg-1.dsc | 2018-Jan-13 14:52:56 | 2.1K | application/octet-stream |
acl2_8.0dfsg-1_amd64.deb | 2018-Jan-13 14:52:59 | 18.9M | application/vnd.debian.binary-package |
acl2_8.0dfsg-1_arm64.deb | 2018-Jan-14 03:47:42 | 17.0M | application/vnd.debian.binary-package |
acl2_8.0dfsg-1_armhf.deb | 2018-Jan-15 09:46:12 | 15.4M | application/vnd.debian.binary-package |
acl2_8.0dfsg-1_i386.deb | 2018-Jan-13 22:26:14 | 16.2M | application/vnd.debian.binary-package |
acl2_8.0dfsg.orig.tar.gz | 2018-Jan-13 14:52:57 | 74.0M | application/gzip |
acl2_8.3dfsg-2.debian.tar.xz | 2021-Jan-27 15:34:22 | 222.9K | application/x-xz |
acl2_8.3dfsg-2.dsc | 2021-Jan-27 15:34:22 | 2.2K | application/octet-stream |
acl2_8.3dfsg-2_amd64.deb | 2021-Jan-27 22:57:13 | 20.4M | application/vnd.debian.binary-package |
acl2_8.3dfsg-2_arm64.deb | 2021-Jan-28 16:43:01 | 18.9M | application/vnd.debian.binary-package |
acl2_8.3dfsg-2_armel.deb | 2021-Jan-28 08:13:11 | 17.5M | application/vnd.debian.binary-package |
acl2_8.3dfsg-2_armhf.deb | 2021-Jan-28 07:42:54 | 17.7M | application/vnd.debian.binary-package |
acl2_8.3dfsg-2_i386.deb | 2021-Jan-27 23:22:27 | 18.5M | application/vnd.debian.binary-package |
acl2_8.3dfsg-2_mips64el.deb | 2021-Jan-30 20:12:16 | 18.3M | application/vnd.debian.binary-package |
acl2_8.3dfsg-2_mipsel.deb | 2021-Jan-29 10:42:16 | 18.8M | application/vnd.debian.binary-package |
acl2_8.3dfsg-2_ppc64el.deb | 2021-Jan-28 00:44:10 | 21.5M | application/vnd.debian.binary-package |
acl2_8.3dfsg-2_s390x.deb | 2021-Jan-28 03:35:29 | 19.7M | application/vnd.debian.binary-package |
acl2_8.3dfsg.orig.tar.gz | 2020-Aug-24 04:39:38 | 111.8M | application/gzip |
acl2_8.5dfsg-5.debian.tar.xz | 2023-Jan-16 03:00:06 | 305.5K | application/x-xz |
acl2_8.5dfsg-5.dsc | 2023-Jan-16 03:00:06 | 2.2K | application/octet-stream |
acl2_8.5dfsg-5_amd64.deb | 2023-Jan-16 21:15:10 | 22.3M | application/vnd.debian.binary-package |
acl2_8.5dfsg-5_arm64.deb | 2023-Jan-17 22:13:23 | 20.6M | application/vnd.debian.binary-package |
acl2_8.5dfsg-5_armel.deb | 2023-Jan-17 20:26:45 | 18.1M | application/vnd.debian.binary-package |
acl2_8.5dfsg-5_armhf.deb | 2023-Jan-17 12:32:25 | 18.6M | application/vnd.debian.binary-package |
acl2_8.5dfsg-5_i386.deb | 2023-Jan-16 16:16:26 | 19.4M | application/vnd.debian.binary-package |
acl2_8.5dfsg-5_mips64el.deb | 2023-Jan-23 13:58:24 | 19.6M | application/vnd.debian.binary-package |
acl2_8.5dfsg-5_mipsel.deb | 2023-Jan-22 01:30:47 | 18.9M | application/vnd.debian.binary-package |
acl2_8.5dfsg-5_ppc64el.deb | 2023-Jan-18 21:10:40 | 22.0M | application/vnd.debian.binary-package |
acl2_8.5dfsg-5_s390x.deb | 2023-Jan-16 15:30:31 | 20.9M | application/vnd.debian.binary-package |
acl2_8.5dfsg-6.debian.tar.xz | 2024-Jul-28 18:31:09 | 305.5K | application/x-xz |
acl2_8.5dfsg-6.dsc | 2024-Jul-28 18:31:09 | 2.2K | application/octet-stream |
acl2_8.5dfsg-6_amd64.deb | 2024-Jul-29 01:18:52 | 22.0M | application/vnd.debian.binary-package |
acl2_8.5dfsg-6_arm64.deb | 2024-Jul-29 01:18:49 | 20.1M | application/vnd.debian.binary-package |
acl2_8.5dfsg-6_armel.deb | 2024-Jul-29 02:25:21 | 18.0M | application/vnd.debian.binary-package |
acl2_8.5dfsg-6_armhf.deb | 2024-Jul-29 09:35:56 | 18.4M | application/vnd.debian.binary-package |
acl2_8.5dfsg-6_i386.deb | 2024-Jul-29 01:49:19 | 19.1M | application/vnd.debian.binary-package |
acl2_8.5dfsg-6_mips64el.deb | 2024-Aug-01 14:54:47 | 19.9M | application/vnd.debian.binary-package |
acl2_8.5dfsg-6_ppc64el.deb | 2024-Jul-29 00:17:49 | 21.6M | application/vnd.debian.binary-package |
acl2_8.5dfsg-6_riscv64.deb | 2024-Jul-31 15:49:26 | 21.1M | application/vnd.debian.binary-package |
acl2_8.5dfsg-6_s390x.deb | 2024-Jul-31 15:28:39 | 21.9M | application/vnd.debian.binary-package |
acl2_8.5dfsg.orig.tar.gz | 2022-Jul-27 16:13:36 | 213.1M | application/gzip |
elpa-acl2_8.5dfsg-5_all.deb | 2023-Jan-16 15:55:57 | 68.9K | application/vnd.debian.binary-package |
elpa-acl2_8.5dfsg-6_all.deb | 2024-Jul-29 01:44:17 | 69.0K | application/vnd.debian.binary-package |