Index of /debian/pool/main/a/acl2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]acl2-books-certs_8.0dfsg-1_all.deb2018-01-13 19:22 70M 
[ ]acl2-books-certs_8.3dfsg-2_all.deb2021-01-28 07:55 139M 
[ ]acl2-books-certs_8.5dfsg-5_all.deb2023-01-16 20:25 170M 
[ ]acl2-books-certs_8.6+dfsg-2_all.deb2025-04-28 01:26 211M 
[ ]acl2-books-certs_8.6+dfsg-3_all.deb2025-05-15 01:54 212M 
[ ]acl2-books-source_8.0dfsg-1_all.deb2018-01-13 19:22 12M 
[ ]acl2-books-source_8.3dfsg-2_all.deb2021-01-28 07:55 19M 
[ ]acl2-books-source_8.5dfsg-5_all.deb2023-01-16 20:25 24M 
[ ]acl2-books-source_8.6+dfsg-2_all.deb2025-04-28 01:26 26M 
[ ]acl2-books-source_8.6+dfsg-3_all.deb2025-05-15 01:54 26M 
[ ]acl2-books_8.0dfsg-1_amd64.deb2018-01-13 19:22 132M 
[ ]acl2-books_8.0dfsg-1_arm64.deb2018-01-14 08:17 135M 
[ ]acl2-books_8.0dfsg-1_armhf.deb2018-01-15 14:16 120M 
[ ]acl2-books_8.0dfsg-1_i386.deb2018-01-14 02:56 111M 
[ ]acl2-books_8.3dfsg-2_amd64.deb2021-01-28 03:27 241M 
[ ]acl2-books_8.3dfsg-2_arm64.deb2021-01-28 21:13 236M 
[ ]acl2-books_8.3dfsg-2_armel.deb2021-01-28 12:43 218M 
[ ]acl2-books_8.3dfsg-2_armhf.deb2021-01-28 12:12 223M 
[ ]acl2-books_8.3dfsg-2_i386.deb2021-01-28 03:52 204M 
[ ]acl2-books_8.3dfsg-2_mips64el.deb2021-01-31 00:42 254M 
[ ]acl2-books_8.3dfsg-2_mipsel.deb2021-01-29 15:12 228M 
[ ]acl2-books_8.3dfsg-2_ppc64el.deb2021-01-28 05:14 245M 
[ ]acl2-books_8.3dfsg-2_s390x.deb2021-01-28 08:05 219M 
[ ]acl2-books_8.5dfsg-5_amd64.deb2023-01-17 01:45 287M 
[ ]acl2-books_8.5dfsg-5_arm64.deb2023-01-18 02:43 289M 
[ ]acl2-books_8.5dfsg-5_armel.deb2023-01-18 00:56 268M 
[ ]acl2-books_8.5dfsg-5_armhf.deb2023-01-17 17:02 272M 
[ ]acl2-books_8.5dfsg-5_i386.deb2023-01-16 20:46 248M 
[ ]acl2-books_8.5dfsg-5_mips64el.deb2023-01-23 18:28 309M 
[ ]acl2-books_8.5dfsg-5_mipsel.deb2023-01-22 06:00 285M 
[ ]acl2-books_8.5dfsg-5_ppc64el.deb2023-01-19 01:40 292M 
[ ]acl2-books_8.5dfsg-5_s390x.deb2023-01-16 20:00 267M 
[ ]acl2-books_8.6+dfsg-2_amd64.deb2025-04-28 01:10 416M 
[ ]acl2-books_8.6+dfsg-2_arm64.deb2025-04-28 01:26 412M 
[ ]acl2-books_8.6+dfsg-2_armel.deb2025-04-28 02:47 386M 
[ ]acl2-books_8.6+dfsg-2_armhf.deb2025-04-28 22:47 395M 
[ ]acl2-books_8.6+dfsg-2_i386.deb2025-04-28 00:55 344M 
[ ]acl2-books_8.6+dfsg-2_ppc64el.deb2025-04-28 01:00 430M 
[ ]acl2-books_8.6+dfsg-2_riscv64.deb2025-05-02 06:59 936M 
[ ]acl2-books_8.6+dfsg-2_s390x.deb2025-04-28 09:26 417M 
[ ]acl2-books_8.6+dfsg-3_amd64.deb2025-05-15 02:10 416M 
[ ]acl2-books_8.6+dfsg-3_arm64.deb2025-05-15 19:17 413M 
[ ]acl2-books_8.6+dfsg-3_armel.deb2025-05-15 04:33 386M 
[ ]acl2-books_8.6+dfsg-3_armhf.deb2025-05-15 03:47 395M 
[ ]acl2-books_8.6+dfsg-3_i386.deb2025-05-15 03:57 344M 
[ ]acl2-books_8.6+dfsg-3_mips64el.deb2025-05-16 13:49 441M 
[ ]acl2-books_8.6+dfsg-3_ppc64el.deb2025-05-15 01:39 430M 
[ ]acl2-books_8.6+dfsg-3_riscv64.deb2025-05-19 08:30 937M 
[ ]acl2-books_8.6+dfsg-3_s390x.deb2025-05-15 07:39 417M 
[ ]acl2-doc_8.0dfsg-1_all.deb2018-01-13 19:22 392K 
[ ]acl2-doc_8.3dfsg-2_all.deb2021-01-28 07:55 437K 
[ ]acl2-doc_8.5dfsg-5_all.deb2023-01-16 20:25 470K 
[ ]acl2-doc_8.6+dfsg-2_all.deb2025-04-28 01:26 513K 
[ ]acl2-doc_8.6+dfsg-3_all.deb2025-05-15 01:54 513K 
[ ]acl2-emacs_8.0dfsg-1_all.deb2018-01-13 19:22 66K 
[ ]acl2-emacs_8.3dfsg-2_all.deb2021-01-28 07:55 68K 
[ ]acl2-infix-source_8.0dfsg-1_all.deb2018-01-13 19:22 77K 
[ ]acl2-infix-source_8.3dfsg-2_all.deb2021-01-28 07:55 78K 
[ ]acl2-infix-source_8.5dfsg-5_all.deb2023-01-16 20:25 71K 
[ ]acl2-infix-source_8.6+dfsg-2_all.deb2025-04-28 01:26 71K 
[ ]acl2-infix-source_8.6+dfsg-3_all.deb2025-05-15 01:54 71K 
[ ]acl2-infix_8.0dfsg-1_amd64.deb2018-01-13 19:22 422K 
[ ]acl2-infix_8.0dfsg-1_arm64.deb2018-01-14 08:17 432K 
[ ]acl2-infix_8.0dfsg-1_armhf.deb2018-01-15 14:16 407K 
[ ]acl2-infix_8.0dfsg-1_i386.deb2018-01-14 02:56 390K 
[ ]acl2-infix_8.3dfsg-2_amd64.deb2021-01-28 03:27 479K 
[ ]acl2-infix_8.3dfsg-2_arm64.deb2021-01-28 21:13 469K 
[ ]acl2-infix_8.3dfsg-2_armel.deb2021-01-28 12:43 463K 
[ ]acl2-infix_8.3dfsg-2_armhf.deb2021-01-28 12:12 478K 
[ ]acl2-infix_8.3dfsg-2_i386.deb2021-01-28 03:52 485K 
[ ]acl2-infix_8.3dfsg-2_mips64el.deb2021-01-31 00:42 503K 
[ ]acl2-infix_8.3dfsg-2_mipsel.deb2021-01-29 15:12 509K 
[ ]acl2-infix_8.3dfsg-2_ppc64el.deb2021-01-28 05:14 498K 
[ ]acl2-infix_8.3dfsg-2_s390x.deb2021-01-28 08:05 435K 
[ ]acl2-infix_8.5dfsg-5_amd64.deb2023-01-17 01:45 464K 
[ ]acl2-infix_8.5dfsg-5_arm64.deb2023-01-18 02:43 461K 
[ ]acl2-infix_8.5dfsg-5_armel.deb2023-01-18 00:56 459K 
[ ]acl2-infix_8.5dfsg-5_armhf.deb2023-01-17 17:02 472K 
[ ]acl2-infix_8.5dfsg-5_i386.deb2023-01-16 20:46 477K 
[ ]acl2-infix_8.5dfsg-5_mips64el.deb2023-01-23 18:28 491K 
[ ]acl2-infix_8.5dfsg-5_mipsel.deb2023-01-22 06:00 503K 
[ ]acl2-infix_8.5dfsg-5_ppc64el.deb2023-01-19 01:40 483K 
[ ]acl2-infix_8.5dfsg-5_s390x.deb2023-01-16 20:00 432K 
[ ]acl2-infix_8.6+dfsg-2_amd64.deb2025-04-28 01:10 866K 
[ ]acl2-infix_8.6+dfsg-2_arm64.deb2025-04-28 01:26 834K 
[ ]acl2-infix_8.6+dfsg-2_armel.deb2025-04-28 02:47 815K 
[ ]acl2-infix_8.6+dfsg-2_armhf.deb2025-04-28 22:47 846K 
[ ]acl2-infix_8.6+dfsg-2_i386.deb2025-04-28 00:55 852K 
[ ]acl2-infix_8.6+dfsg-2_ppc64el.deb2025-04-28 01:00 885K 
[ ]acl2-infix_8.6+dfsg-2_riscv64.deb2025-05-02 06:59 1.8M 
[ ]acl2-infix_8.6+dfsg-2_s390x.deb2025-04-28 09:26 864K 
[ ]acl2-infix_8.6+dfsg-3_amd64.deb2025-05-15 02:10 865K 
[ ]acl2-infix_8.6+dfsg-3_arm64.deb2025-05-15 19:17 833K 
[ ]acl2-infix_8.6+dfsg-3_armel.deb2025-05-15 04:33 813K 
[ ]acl2-infix_8.6+dfsg-3_armhf.deb2025-05-15 03:47 846K 
[ ]acl2-infix_8.6+dfsg-3_i386.deb2025-05-15 03:57 853K 
[ ]acl2-infix_8.6+dfsg-3_mips64el.deb2025-05-16 13:49 875K 
[ ]acl2-infix_8.6+dfsg-3_ppc64el.deb2025-05-15 01:39 882K 
[ ]acl2-infix_8.6+dfsg-3_riscv64.deb2025-05-19 08:30 1.8M 
[ ]acl2-infix_8.6+dfsg-3_s390x.deb2025-05-15 07:39 863K 
[ ]acl2-source_8.0dfsg-1_all.deb2018-01-13 19:22 2.9M 
[ ]acl2-source_8.3dfsg-2_all.deb2021-01-28 07:55 3.2M 
[ ]acl2-source_8.5dfsg-5_all.deb2023-01-16 20:25 3.4M 
[ ]acl2-source_8.6+dfsg-2_all.deb2025-04-28 01:26 3.8M 
[ ]acl2-source_8.6+dfsg-3_all.deb2025-05-15 01:54 3.8M 
[ ]acl2_8.0dfsg-1.debian.tar.xz2018-01-13 19:22 200K 
[TXT]acl2_8.0dfsg-1.dsc2018-01-13 19:22 2.2K 
[ ]acl2_8.0dfsg-1_amd64.deb2018-01-13 19:22 19M 
[ ]acl2_8.0dfsg-1_arm64.deb2018-01-14 08:17 17M 
[ ]acl2_8.0dfsg-1_armhf.deb2018-01-15 14:16 15M 
[ ]acl2_8.0dfsg-1_i386.deb2018-01-14 02:56 16M 
[ ]acl2_8.0dfsg.orig.tar.gz2018-01-13 19:22 74M 
[ ]acl2_8.3dfsg-2.debian.tar.xz2021-01-27 20:04 223K 
[TXT]acl2_8.3dfsg-2.dsc2021-01-27 20:04 2.2K 
[ ]acl2_8.3dfsg-2_amd64.deb2021-01-28 03:27 20M 
[ ]acl2_8.3dfsg-2_arm64.deb2021-01-28 21:13 19M 
[ ]acl2_8.3dfsg-2_armel.deb2021-01-28 12:43 18M 
[ ]acl2_8.3dfsg-2_armhf.deb2021-01-28 12:12 18M 
[ ]acl2_8.3dfsg-2_i386.deb2021-01-28 03:52 19M 
[ ]acl2_8.3dfsg-2_mips64el.deb2021-01-31 00:42 18M 
[ ]acl2_8.3dfsg-2_mipsel.deb2021-01-29 15:12 19M 
[ ]acl2_8.3dfsg-2_ppc64el.deb2021-01-28 05:14 22M 
[ ]acl2_8.3dfsg-2_s390x.deb2021-01-28 08:05 20M 
[ ]acl2_8.3dfsg.orig.tar.gz2020-08-24 08:09 112M 
[ ]acl2_8.5dfsg-5.debian.tar.xz2023-01-16 07:30 306K 
[TXT]acl2_8.5dfsg-5.dsc2023-01-16 07:30 2.2K 
[ ]acl2_8.5dfsg-5_amd64.deb2023-01-17 01:45 22M 
[ ]acl2_8.5dfsg-5_arm64.deb2023-01-18 02:43 21M 
[ ]acl2_8.5dfsg-5_armel.deb2023-01-18 00:56 18M 
[ ]acl2_8.5dfsg-5_armhf.deb2023-01-17 17:02 19M 
[ ]acl2_8.5dfsg-5_i386.deb2023-01-16 20:46 19M 
[ ]acl2_8.5dfsg-5_mips64el.deb2023-01-23 18:28 20M 
[ ]acl2_8.5dfsg-5_mipsel.deb2023-01-22 06:00 19M 
[ ]acl2_8.5dfsg-5_ppc64el.deb2023-01-19 01:40 22M 
[ ]acl2_8.5dfsg-5_s390x.deb2023-01-16 20:00 21M 
[ ]acl2_8.5dfsg.orig.tar.gz2022-07-27 19:43 213M 
[ ]acl2_8.6+dfsg-2.debian.tar.xz2025-04-27 18:24 435K 
[TXT]acl2_8.6+dfsg-2.dsc2025-04-27 18:24 2.2K 
[ ]acl2_8.6+dfsg-2_amd64.deb2025-04-28 01:10 35M 
[ ]acl2_8.6+dfsg-2_arm64.deb2025-04-28 01:26 35M 
[ ]acl2_8.6+dfsg-2_armel.deb2025-04-28 02:47 36M 
[ ]acl2_8.6+dfsg-2_armhf.deb2025-04-28 22:47 37M 
[ ]acl2_8.6+dfsg-2_i386.deb2025-04-28 00:55 39M 
[ ]acl2_8.6+dfsg-2_ppc64el.deb2025-04-28 01:00 35M 
[ ]acl2_8.6+dfsg-2_riscv64.deb2025-05-02 06:59 35M 
[ ]acl2_8.6+dfsg-2_s390x.deb2025-04-28 09:26 38M 
[ ]acl2_8.6+dfsg-3.debian.tar.xz2025-05-14 19:40 695K 
[TXT]acl2_8.6+dfsg-3.dsc2025-05-14 19:40 2.2K 
[ ]acl2_8.6+dfsg-3_amd64.deb2025-05-15 02:10 35M 
[ ]acl2_8.6+dfsg-3_arm64.deb2025-05-15 19:17 36M 
[ ]acl2_8.6+dfsg-3_armel.deb2025-05-15 04:33 36M 
[ ]acl2_8.6+dfsg-3_armhf.deb2025-05-15 03:47 38M 
[ ]acl2_8.6+dfsg-3_i386.deb2025-05-15 03:57 39M 
[ ]acl2_8.6+dfsg-3_mips64el.deb2025-05-16 13:49 36M 
[ ]acl2_8.6+dfsg-3_ppc64el.deb2025-05-15 01:39 35M 
[ ]acl2_8.6+dfsg-3_riscv64.deb2025-05-19 08:30 35M 
[ ]acl2_8.6+dfsg-3_s390x.deb2025-05-15 07:39 38M 
[ ]acl2_8.6+dfsg.orig.tar.gz2025-04-27 02:51 229M 
[ ]elpa-acl2_8.5dfsg-5_all.deb2023-01-16 20:25 69K 
[ ]elpa-acl2_8.6+dfsg-2_all.deb2025-04-28 01:26 76K 
[ ]elpa-acl2_8.6+dfsg-3_all.deb2025-05-15 01:54 77K