| / | | |
| acl2-books-certs_8.3dfsg-2_all.deb | 145,388,148 | Thu, 28 Jan 2021 02:25:23 +0000 |
| acl2-books-certs_8.5dfsg-5_all.deb | 178,375,056 | Mon, 16 Jan 2023 14:55:57 +0000 |
| acl2-books-certs_8.6+dfsg-2_all.deb | 221,620,564 | Sun, 27 Apr 2025 19:56:16 +0000 |
| acl2-books-certs_8.6+dfsg-3_all.deb | 221,931,052 | Wed, 14 May 2025 20:24:46 +0000 |
| acl2-books-source_8.3dfsg-2_all.deb | 19,539,252 | Thu, 28 Jan 2021 02:25:23 +0000 |
| acl2-books-source_8.5dfsg-5_all.deb | 24,662,324 | Mon, 16 Jan 2023 14:55:57 +0000 |
| acl2-books-source_8.6+dfsg-2_all.deb | 27,502,672 | Sun, 27 Apr 2025 19:56:16 +0000 |
| acl2-books-source_8.6+dfsg-3_all.deb | 27,499,896 | Wed, 14 May 2025 20:24:46 +0000 |
| acl2-books_8.3dfsg-2_amd64.deb | 252,878,684 | Wed, 27 Jan 2021 21:57:13 +0000 |
| acl2-books_8.3dfsg-2_arm64.deb | 247,461,500 | Thu, 28 Jan 2021 15:43:01 +0000 |
| acl2-books_8.3dfsg-2_armhf.deb | 233,775,700 | Thu, 28 Jan 2021 06:42:54 +0000 |
| acl2-books_8.3dfsg-2_i386.deb | 213,849,148 | Wed, 27 Jan 2021 22:22:26 +0000 |
| acl2-books_8.5dfsg-5_amd64.deb | 300,900,920 | Mon, 16 Jan 2023 20:15:10 +0000 |
| acl2-books_8.5dfsg-5_arm64.deb | 303,470,876 | Tue, 17 Jan 2023 21:13:23 +0000 |
| acl2-books_8.5dfsg-5_armel.deb | 280,803,828 | Tue, 17 Jan 2023 19:26:45 +0000 |
| acl2-books_8.5dfsg-5_armhf.deb | 284,902,980 | Tue, 17 Jan 2023 11:32:25 +0000 |
| acl2-books_8.5dfsg-5_i386.deb | 259,607,668 | Mon, 16 Jan 2023 15:16:26 +0000 |
| acl2-books_8.5dfsg-5_mips64el.deb | 324,497,736 | Mon, 23 Jan 2023 12:58:23 +0000 |
| acl2-books_8.5dfsg-5_mipsel.deb | 298,373,940 | Sun, 22 Jan 2023 00:30:47 +0000 |
| acl2-books_8.5dfsg-5_ppc64el.deb | 305,663,132 | Wed, 18 Jan 2023 20:10:39 +0000 |
| acl2-books_8.5dfsg-5_s390x.deb | 280,359,528 | Mon, 16 Jan 2023 14:30:31 +0000 |
| acl2-books_8.6+dfsg-2_amd64.deb | 435,743,480 | Sun, 27 Apr 2025 19:40:58 +0000 |
| acl2-books_8.6+dfsg-2_arm64.deb | 432,522,576 | Sun, 27 Apr 2025 19:56:10 +0000 |
| acl2-books_8.6+dfsg-2_armel.deb | 404,366,068 | Sun, 27 Apr 2025 21:17:05 +0000 |
| acl2-books_8.6+dfsg-2_armhf.deb | 413,798,288 | Mon, 28 Apr 2025 17:17:54 +0000 |
| acl2-books_8.6+dfsg-2_i386.deb | 360,999,248 | Sun, 27 Apr 2025 19:25:16 +0000 |
| acl2-books_8.6+dfsg-2_ppc64el.deb | 450,653,084 | Sun, 27 Apr 2025 19:30:23 +0000 |
| acl2-books_8.6+dfsg-2_riscv64.deb | 981,501,120 | Fri, 02 May 2025 01:29:20 +0000 |
| acl2-books_8.6+dfsg-2_s390x.deb | 436,947,596 | Mon, 28 Apr 2025 03:56:37 +0000 |
| acl2-books_8.6+dfsg-3_amd64.deb | 435,771,168 | Wed, 14 May 2025 20:40:10 +0000 |
| acl2-books_8.6+dfsg-3_arm64.deb | 432,540,080 | Thu, 15 May 2025 13:47:48 +0000 |
| acl2-books_8.6+dfsg-3_armel.deb | 404,538,284 | Wed, 14 May 2025 23:03:05 +0000 |
| acl2-books_8.6+dfsg-3_armhf.deb | 413,828,492 | Wed, 14 May 2025 22:17:23 +0000 |
| acl2-books_8.6+dfsg-3_i386.deb | 361,067,836 | Wed, 14 May 2025 22:27:34 +0000 |
| acl2-books_8.6+dfsg-3_mips64el.deb | 462,083,068 | Fri, 16 May 2025 08:19:12 +0000 |
| acl2-books_8.6+dfsg-3_ppc64el.deb | 450,734,572 | Wed, 14 May 2025 20:09:39 +0000 |
| acl2-books_8.6+dfsg-3_riscv64.deb | 982,070,236 | Mon, 19 May 2025 03:00:19 +0000 |
| acl2-books_8.6+dfsg-3_s390x.deb | 436,777,600 | Thu, 15 May 2025 02:09:08 +0000 |
| acl2-doc_8.3dfsg-2_all.deb | 447,608 | Thu, 28 Jan 2021 02:25:23 +0000 |
| acl2-doc_8.5dfsg-5_all.deb | 481,328 | Mon, 16 Jan 2023 14:55:57 +0000 |
| acl2-doc_8.6+dfsg-2_all.deb | 524,912 | Sun, 27 Apr 2025 19:56:16 +0000 |
| acl2-doc_8.6+dfsg-3_all.deb | 525,148 | Wed, 14 May 2025 20:24:46 +0000 |
| acl2-emacs_8.3dfsg-2_all.deb | 69,412 | Thu, 28 Jan 2021 02:25:23 +0000 |
| acl2-infix-source_8.3dfsg-2_all.deb | 79,880 | Thu, 28 Jan 2021 02:25:23 +0000 |
| acl2-infix-source_8.5dfsg-5_all.deb | 72,332 | Mon, 16 Jan 2023 14:55:57 +0000 |
| acl2-infix-source_8.6+dfsg-2_all.deb | 72,652 | Sun, 27 Apr 2025 19:56:16 +0000 |
| acl2-infix-source_8.6+dfsg-3_all.deb | 72,836 | Wed, 14 May 2025 20:24:46 +0000 |
| acl2-infix_8.3dfsg-2_amd64.deb | 490,280 | Wed, 27 Jan 2021 21:57:13 +0000 |
| acl2-infix_8.3dfsg-2_arm64.deb | 480,668 | Thu, 28 Jan 2021 15:43:01 +0000 |
| acl2-infix_8.3dfsg-2_armhf.deb | 489,768 | Thu, 28 Jan 2021 06:42:54 +0000 |
| acl2-infix_8.3dfsg-2_i386.deb | 496,480 | Wed, 27 Jan 2021 22:22:26 +0000 |
| acl2-infix_8.5dfsg-5_amd64.deb | 475,288 | Mon, 16 Jan 2023 20:15:10 +0000 |
| acl2-infix_8.5dfsg-5_arm64.deb | 471,720 | Tue, 17 Jan 2023 21:13:23 +0000 |
| acl2-infix_8.5dfsg-5_armel.deb | 470,112 | Tue, 17 Jan 2023 19:26:45 +0000 |
| acl2-infix_8.5dfsg-5_armhf.deb | 483,688 | Tue, 17 Jan 2023 11:32:25 +0000 |
| acl2-infix_8.5dfsg-5_i386.deb | 488,940 | Mon, 16 Jan 2023 15:16:26 +0000 |
| acl2-infix_8.5dfsg-5_mips64el.deb | 502,308 | Mon, 23 Jan 2023 12:58:24 +0000 |
| acl2-infix_8.5dfsg-5_mipsel.deb | 514,928 | Sun, 22 Jan 2023 00:30:47 +0000 |
| acl2-infix_8.5dfsg-5_ppc64el.deb | 494,624 | Wed, 18 Jan 2023 20:10:39 +0000 |
| acl2-infix_8.5dfsg-5_s390x.deb | 442,320 | Mon, 16 Jan 2023 14:30:31 +0000 |
| acl2-infix_8.6+dfsg-2_amd64.deb | 886,800 | Sun, 27 Apr 2025 19:40:58 +0000 |
| acl2-infix_8.6+dfsg-2_arm64.deb | 853,784 | Sun, 27 Apr 2025 19:56:10 +0000 |
| acl2-infix_8.6+dfsg-2_armel.deb | 834,140 | Sun, 27 Apr 2025 21:17:05 +0000 |
| acl2-infix_8.6+dfsg-2_armhf.deb | 865,808 | Mon, 28 Apr 2025 17:17:54 +0000 |
| acl2-infix_8.6+dfsg-2_i386.deb | 872,680 | Sun, 27 Apr 2025 19:25:16 +0000 |
| acl2-infix_8.6+dfsg-2_ppc64el.deb | 906,636 | Sun, 27 Apr 2025 19:30:23 +0000 |
| acl2-infix_8.6+dfsg-2_riscv64.deb | 1,921,392 | Fri, 02 May 2025 01:29:20 +0000 |
| acl2-infix_8.6+dfsg-2_s390x.deb | 884,620 | Mon, 28 Apr 2025 03:56:37 +0000 |
| acl2-infix_8.6+dfsg-3_amd64.deb | 885,540 | Wed, 14 May 2025 20:40:10 +0000 |
| acl2-infix_8.6+dfsg-3_arm64.deb | 853,500 | Thu, 15 May 2025 13:47:48 +0000 |
| acl2-infix_8.6+dfsg-3_armel.deb | 832,788 | Wed, 14 May 2025 23:03:05 +0000 |
| acl2-infix_8.6+dfsg-3_armhf.deb | 866,724 | Wed, 14 May 2025 22:17:23 +0000 |
| acl2-infix_8.6+dfsg-3_i386.deb | 872,968 | Wed, 14 May 2025 22:27:34 +0000 |
| acl2-infix_8.6+dfsg-3_mips64el.deb | 895,948 | Fri, 16 May 2025 08:19:12 +0000 |
| acl2-infix_8.6+dfsg-3_ppc64el.deb | 903,128 | Wed, 14 May 2025 20:09:39 +0000 |
| acl2-infix_8.6+dfsg-3_riscv64.deb | 1,939,048 | Mon, 19 May 2025 03:00:19 +0000 |
| acl2-infix_8.6+dfsg-3_s390x.deb | 883,604 | Thu, 15 May 2025 02:09:08 +0000 |
| acl2-source_8.3dfsg-2_all.deb | 3,339,896 | Thu, 28 Jan 2021 02:25:23 +0000 |
| acl2-source_8.5dfsg-5_all.deb | 3,587,888 | Mon, 16 Jan 2023 14:55:57 +0000 |
| acl2-source_8.6+dfsg-2_all.deb | 3,996,788 | Sun, 27 Apr 2025 19:56:16 +0000 |
| acl2-source_8.6+dfsg-3_all.deb | 3,997,164 | Wed, 14 May 2025 20:24:46 +0000 |
| acl2_8.3dfsg-2.debian.tar.xz | 228,320 | Wed, 27 Jan 2021 14:34:22 +0000 |
| acl2_8.3dfsg-2.dsc | 2,275 | Wed, 27 Jan 2021 14:34:22 +0000 |
| acl2_8.3dfsg-2_amd64.deb | 21,481,292 | Wed, 27 Jan 2021 21:57:13 +0000 |
| acl2_8.3dfsg-2_arm64.deb | 19,892,236 | Thu, 28 Jan 2021 15:43:01 +0000 |
| acl2_8.3dfsg-2_armhf.deb | 18,576,036 | Thu, 28 Jan 2021 06:42:54 +0000 |
| acl2_8.3dfsg-2_i386.deb | 19,487,092 | Wed, 27 Jan 2021 22:22:27 +0000 |
| acl2_8.3dfsg.orig.tar.gz | 117,260,902 | Mon, 24 Aug 2020 02:39:38 +0000 |
| acl2_8.5dfsg-5.debian.tar.xz | 312,896 | Mon, 16 Jan 2023 02:00:06 +0000 |
| acl2_8.5dfsg-5.dsc | 2,268 | Mon, 16 Jan 2023 02:00:06 +0000 |
| acl2_8.5dfsg-5_amd64.deb | 23,408,224 | Mon, 16 Jan 2023 20:15:10 +0000 |
| acl2_8.5dfsg-5_arm64.deb | 21,588,828 | Tue, 17 Jan 2023 21:13:23 +0000 |
| acl2_8.5dfsg-5_armel.deb | 19,064,584 | Tue, 17 Jan 2023 19:26:45 +0000 |
| acl2_8.5dfsg-5_armhf.deb | 19,585,128 | Tue, 17 Jan 2023 11:32:25 +0000 |
| acl2_8.5dfsg-5_i386.deb | 20,377,820 | Mon, 16 Jan 2023 15:16:26 +0000 |
| acl2_8.5dfsg-5_mips64el.deb | 20,602,540 | Mon, 23 Jan 2023 12:58:24 +0000 |
| acl2_8.5dfsg-5_mipsel.deb | 19,821,928 | Sun, 22 Jan 2023 00:30:47 +0000 |
| acl2_8.5dfsg-5_ppc64el.deb | 23,139,572 | Wed, 18 Jan 2023 20:10:40 +0000 |
| acl2_8.5dfsg-5_s390x.deb | 22,001,448 | Mon, 16 Jan 2023 14:30:31 +0000 |
| acl2_8.5dfsg.orig.tar.gz | 223,546,594 | Wed, 27 Jul 2022 14:13:36 +0000 |
| acl2_8.6+dfsg-2.debian.tar.xz | 445,128 | Sun, 27 Apr 2025 12:54:28 +0000 |
| acl2_8.6+dfsg-2.dsc | 2,286 | Sun, 27 Apr 2025 12:54:28 +0000 |
| acl2_8.6+dfsg-2_amd64.deb | 36,900,528 | Sun, 27 Apr 2025 19:40:58 +0000 |
| acl2_8.6+dfsg-2_arm64.deb | 36,610,984 | Sun, 27 Apr 2025 19:56:10 +0000 |
| acl2_8.6+dfsg-2_armel.deb | 37,921,692 | Sun, 27 Apr 2025 21:17:05 +0000 |
| acl2_8.6+dfsg-2_armhf.deb | 38,343,840 | Mon, 28 Apr 2025 17:17:54 +0000 |
| acl2_8.6+dfsg-2_i386.deb | 40,681,708 | Sun, 27 Apr 2025 19:25:16 +0000 |
| acl2_8.6+dfsg-2_ppc64el.deb | 37,191,308 | Sun, 27 Apr 2025 19:30:23 +0000 |
| acl2_8.6+dfsg-2_riscv64.deb | 37,156,592 | Fri, 02 May 2025 01:29:21 +0000 |
| acl2_8.6+dfsg-2_s390x.deb | 39,851,220 | Mon, 28 Apr 2025 03:56:37 +0000 |
| acl2_8.6+dfsg-3.debian.tar.xz | 711,200 | Wed, 14 May 2025 14:10:11 +0000 |
| acl2_8.6+dfsg-3.dsc | 2,288 | Wed, 14 May 2025 14:10:11 +0000 |
| acl2_8.6+dfsg-3_amd64.deb | 37,165,672 | Wed, 14 May 2025 20:40:10 +0000 |
| acl2_8.6+dfsg-3_arm64.deb | 38,220,300 | Thu, 15 May 2025 13:47:48 +0000 |
| acl2_8.6+dfsg-3_armel.deb | 37,808,820 | Wed, 14 May 2025 23:03:05 +0000 |
| acl2_8.6+dfsg-3_armhf.deb | 40,056,908 | Wed, 14 May 2025 22:17:23 +0000 |
| acl2_8.6+dfsg-3_i386.deb | 41,086,688 | Wed, 14 May 2025 22:27:34 +0000 |
| acl2_8.6+dfsg-3_mips64el.deb | 37,394,912 | Fri, 16 May 2025 08:19:12 +0000 |
| acl2_8.6+dfsg-3_ppc64el.deb | 37,084,248 | Wed, 14 May 2025 20:09:39 +0000 |
| acl2_8.6+dfsg-3_riscv64.deb | 37,108,012 | Mon, 19 May 2025 03:00:19 +0000 |
| acl2_8.6+dfsg-3_s390x.deb | 39,721,408 | Thu, 15 May 2025 02:09:08 +0000 |
| acl2_8.6+dfsg.orig.tar.gz | 240,329,345 | Sat, 26 Apr 2025 21:21:59 +0000 |
| elpa-acl2_8.5dfsg-5_all.deb | 70,628 | Mon, 16 Jan 2023 14:55:57 +0000 |
| elpa-acl2_8.6+dfsg-2_all.deb | 78,264 | Sun, 27 Apr 2025 19:56:16 +0000 |
| elpa-acl2_8.6+dfsg-3_all.deb | 78,456 | Wed, 14 May 2025 20:24:46 +0000 |