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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]acl2-books-certs_8.3..>2021-01-28 05:55 139M 
[ ]acl2-books-certs_8.5..>2023-01-16 18:25 170M 
[ ]acl2-books-certs_8.6..>2025-04-27 23:26 211M 
[ ]acl2-books-certs_8.7..>2026-06-18 00:42 232M 
[ ]acl2-books-certs_8.7..>2026-07-18 00:59 233M 
[ ]acl2-books-source_8...>2021-01-28 05:55 19M 
[ ]acl2-books-source_8...>2023-01-16 18:25 24M 
[ ]acl2-books-source_8...>2025-04-27 23:26 26M 
[ ]acl2-books-source_8...>2026-06-18 00:42 28M 
[ ]acl2-books-source_8...>2026-07-18 00:59 28M 
[ ]acl2-books_8.3dfsg-2..>2021-01-28 01:27 241M 
[ ]acl2-books_8.3dfsg-2..>2021-01-28 19:13 236M 
[ ]acl2-books_8.3dfsg-2..>2021-01-28 10:12 223M 
[ ]acl2-books_8.3dfsg-2..>2021-01-28 01:52 204M 
[ ]acl2-books_8.5dfsg-5..>2023-01-16 23:45 287M 
[ ]acl2-books_8.5dfsg-5..>2023-01-18 00:43 289M 
[ ]acl2-books_8.5dfsg-5..>2023-01-17 22:56 268M 
[ ]acl2-books_8.5dfsg-5..>2023-01-17 15:02 272M 
[ ]acl2-books_8.5dfsg-5..>2023-01-16 18:46 248M 
[ ]acl2-books_8.5dfsg-5..>2023-01-23 16:28 309M 
[ ]acl2-books_8.5dfsg-5..>2023-01-22 04:00 285M 
[ ]acl2-books_8.5dfsg-5..>2023-01-18 23:40 292M 
[ ]acl2-books_8.5dfsg-5..>2023-01-16 18:00 267M 
[ ]acl2-books_8.6+dfsg-..>2025-04-27 23:10 416M 
[ ]acl2-books_8.6+dfsg-..>2025-04-27 23:26 412M 
[ ]acl2-books_8.6+dfsg-..>2025-04-28 00:47 386M 
[ ]acl2-books_8.6+dfsg-..>2025-04-28 20:47 395M 
[ ]acl2-books_8.6+dfsg-..>2025-04-27 22:55 344M 
[ ]acl2-books_8.6+dfsg-..>2025-04-27 23:00 430M 
[ ]acl2-books_8.6+dfsg-..>2025-05-02 04:59 936M 
[ ]acl2-books_8.6+dfsg-..>2025-04-28 07:26 417M 
[ ]acl2-books_8.7+dfsg-..>2026-06-18 00:53 457M 
[ ]acl2-books_8.7+dfsg-..>2026-06-18 00:01 448M 
[ ]acl2-books_8.7+dfsg-..>2026-06-18 04:38 435M 
[ ]acl2-books_8.7+dfsg-..>2026-06-18 05:09 398M 
[ ]acl2-books_8.7+dfsg-..>2026-06-18 13:48 591M 
[ ]acl2-books_8.7+dfsg-..>2026-06-18 01:27 487M 
[ ]acl2-books_8.7+dfsg-..>2026-06-27 09:59 1.2G 
[ ]acl2-books_8.7+dfsg-..>2026-06-18 05:30 459M 
[ ]acl2-books_8.7+dfsg-..>2026-07-18 00:49 457M 
[ ]acl2-books_8.7+dfsg-..>2026-07-18 00:02 448M 
[ ]acl2-books_8.7+dfsg-..>2026-07-18 01:57 435M 
[ ]acl2-books_8.7+dfsg-..>2026-07-18 04:50 398M 
[ ]acl2-books_8.7+dfsg-..>2026-07-18 10:53 591M 
[ ]acl2-books_8.7+dfsg-..>2026-07-18 01:27 487M 
[ ]acl2-books_8.7+dfsg-..>2026-07-23 20:28 1.2G 
[ ]acl2-books_8.7+dfsg-..>2026-07-18 05:50 459M 
[ ]acl2-doc_8.3dfsg-2_a..>2021-01-28 05:55 437K 
[ ]acl2-doc_8.5dfsg-5_a..>2023-01-16 18:25 470K 
[ ]acl2-doc_8.6+dfsg-2_..>2025-04-27 23:26 513K 
[ ]acl2-doc_8.7+dfsg-2_..>2026-06-18 00:42 533K 
[ ]acl2-doc_8.7+dfsg-3_..>2026-07-18 00:59 533K 
[ ]acl2-emacs_8.3dfsg-2..>2021-01-28 05:55 68K 
[ ]acl2-infix-source_8...>2021-01-28 05:55 78K 
[ ]acl2-infix-source_8...>2023-01-16 18:25 71K 
[ ]acl2-infix-source_8...>2025-04-27 23:26 71K 
[ ]acl2-infix-source_8...>2026-06-18 00:42 70K 
[ ]acl2-infix-source_8...>2026-07-18 00:59 70K 
[ ]acl2-infix_8.3dfsg-2..>2021-01-28 01:27 479K 
[ ]acl2-infix_8.3dfsg-2..>2021-01-28 19:13 469K 
[ ]acl2-infix_8.3dfsg-2..>2021-01-28 10:12 478K 
[ ]acl2-infix_8.3dfsg-2..>2021-01-28 01:52 485K 
[ ]acl2-infix_8.5dfsg-5..>2023-01-16 23:45 464K 
[ ]acl2-infix_8.5dfsg-5..>2023-01-18 00:43 461K 
[ ]acl2-infix_8.5dfsg-5..>2023-01-17 22:56 459K 
[ ]acl2-infix_8.5dfsg-5..>2023-01-17 15:02 472K 
[ ]acl2-infix_8.5dfsg-5..>2023-01-16 18:46 477K 
[ ]acl2-infix_8.5dfsg-5..>2023-01-23 16:28 491K 
[ ]acl2-infix_8.5dfsg-5..>2023-01-22 04:00 503K 
[ ]acl2-infix_8.5dfsg-5..>2023-01-18 23:40 483K 
[ ]acl2-infix_8.5dfsg-5..>2023-01-16 18:00 432K 
[ ]acl2-infix_8.6+dfsg-..>2025-04-27 23:10 866K 
[ ]acl2-infix_8.6+dfsg-..>2025-04-27 23:26 834K 
[ ]acl2-infix_8.6+dfsg-..>2025-04-28 00:47 815K 
[ ]acl2-infix_8.6+dfsg-..>2025-04-28 20:47 846K 
[ ]acl2-infix_8.6+dfsg-..>2025-04-27 22:55 852K 
[ ]acl2-infix_8.6+dfsg-..>2025-04-27 23:00 885K 
[ ]acl2-infix_8.6+dfsg-..>2025-05-02 04:59 1.8M 
[ ]acl2-infix_8.6+dfsg-..>2025-04-28 07:26 864K 
[ ]acl2-infix_8.7+dfsg-..>2026-06-18 00:53 874K 
[ ]acl2-infix_8.7+dfsg-..>2026-06-18 00:01 844K 
[ ]acl2-infix_8.7+dfsg-..>2026-06-18 04:38 872K 
[ ]acl2-infix_8.7+dfsg-..>2026-06-18 05:09 864K 
[ ]acl2-infix_8.7+dfsg-..>2026-06-18 13:48 1.1M 
[ ]acl2-infix_8.7+dfsg-..>2026-06-18 01:27 906K 
[ ]acl2-infix_8.7+dfsg-..>2026-06-27 09:59 2.1M 
[ ]acl2-infix_8.7+dfsg-..>2026-06-18 05:30 878K 
[ ]acl2-infix_8.7+dfsg-..>2026-07-18 00:49 876K 
[ ]acl2-infix_8.7+dfsg-..>2026-07-18 00:02 844K 
[ ]acl2-infix_8.7+dfsg-..>2026-07-18 01:57 870K 
[ ]acl2-infix_8.7+dfsg-..>2026-07-18 04:50 864K 
[ ]acl2-infix_8.7+dfsg-..>2026-07-18 10:53 1.1M 
[ ]acl2-infix_8.7+dfsg-..>2026-07-18 01:27 905K 
[ ]acl2-infix_8.7+dfsg-..>2026-07-23 20:28 2.1M 
[ ]acl2-infix_8.7+dfsg-..>2026-07-18 05:50 879K 
[ ]acl2-source_8.3dfsg-..>2021-01-28 05:55 3.2M 
[ ]acl2-source_8.5dfsg-..>2023-01-16 18:25 3.4M 
[ ]acl2-source_8.6+dfsg..>2025-04-27 23:26 3.8M 
[ ]acl2-source_8.7+dfsg..>2026-06-18 00:42 3.9M 
[ ]acl2-source_8.7+dfsg..>2026-07-18 00:59 3.9M 
[ ]acl2_8.3dfsg-2.debia..>2021-01-27 18:04 223K 
[TXT]acl2_8.3dfsg-2.dsc 2021-01-27 18:04 2.2K 
[ ]acl2_8.3dfsg-2_amd64..>2021-01-28 01:27 20M 
[ ]acl2_8.3dfsg-2_arm64..>2021-01-28 19:13 19M 
[ ]acl2_8.3dfsg-2_armhf..>2021-01-28 10:12 18M 
[ ]acl2_8.3dfsg-2_i386.deb2021-01-28 01:52 19M 
[ ]acl2_8.3dfsg.orig.ta..>2020-08-24 07:09 112M 
[ ]acl2_8.5dfsg-5.debia..>2023-01-16 05:30 306K 
[TXT]acl2_8.5dfsg-5.dsc 2023-01-16 05:30 2.2K 
[ ]acl2_8.5dfsg-5_amd64..>2023-01-16 23:45 22M 
[ ]acl2_8.5dfsg-5_arm64..>2023-01-18 00:43 21M 
[ ]acl2_8.5dfsg-5_armel..>2023-01-17 22:56 18M 
[ ]acl2_8.5dfsg-5_armhf..>2023-01-17 15:02 19M 
[ ]acl2_8.5dfsg-5_i386.deb2023-01-16 18:46 19M 
[ ]acl2_8.5dfsg-5_mips6..>2023-01-23 16:28 20M 
[ ]acl2_8.5dfsg-5_mipse..>2023-01-22 04:00 19M 
[ ]acl2_8.5dfsg-5_ppc64..>2023-01-18 23:40 22M 
[ ]acl2_8.5dfsg-5_s390x..>2023-01-16 18:00 21M 
[ ]acl2_8.5dfsg.orig.ta..>2022-07-27 18:43 213M 
[ ]acl2_8.6+dfsg-2.debi..>2025-04-27 16:24 435K 
[TXT]acl2_8.6+dfsg-2.dsc 2025-04-27 16:24 2.2K 
[ ]acl2_8.6+dfsg-2_amd6..>2025-04-27 23:10 35M 
[ ]acl2_8.6+dfsg-2_arm6..>2025-04-27 23:26 35M 
[ ]acl2_8.6+dfsg-2_arme..>2025-04-28 00:47 36M 
[ ]acl2_8.6+dfsg-2_armh..>2025-04-28 20:47 37M 
[ ]acl2_8.6+dfsg-2_i386..>2025-04-27 22:55 39M 
[ ]acl2_8.6+dfsg-2_ppc6..>2025-04-27 23:00 35M 
[ ]acl2_8.6+dfsg-2_risc..>2025-05-02 04:59 35M 
[ ]acl2_8.6+dfsg-2_s390..>2025-04-28 07:26 38M 
[ ]acl2_8.6+dfsg.orig.t..>2025-04-27 00:51 229M 
[ ]acl2_8.7+dfsg-2.debi..>2026-06-17 18:01 881K 
[TXT]acl2_8.7+dfsg-2.dsc 2026-06-17 18:01 2.2K 
[ ]acl2_8.7+dfsg-2_amd6..>2026-06-18 00:53 36M 
[ ]acl2_8.7+dfsg-2_arm6..>2026-06-18 00:01 36M 
[ ]acl2_8.7+dfsg-2_armh..>2026-06-18 04:38 38M 
[ ]acl2_8.7+dfsg-2_i386..>2026-06-18 05:09 38M 
[ ]acl2_8.7+dfsg-2_loon..>2026-06-18 13:48 37M 
[ ]acl2_8.7+dfsg-2_ppc6..>2026-06-18 01:27 37M 
[ ]acl2_8.7+dfsg-2_risc..>2026-06-27 09:59 37M 
[ ]acl2_8.7+dfsg-2_s390..>2026-06-18 05:30 46M 
[ ]acl2_8.7+dfsg-3.debi..>2026-07-17 18:44 881K 
[TXT]acl2_8.7+dfsg-3.dsc 2026-07-17 18:44 2.2K 
[ ]acl2_8.7+dfsg-3_amd6..>2026-07-18 00:49 34M 
[ ]acl2_8.7+dfsg-3_arm6..>2026-07-18 00:02 31M 
[ ]acl2_8.7+dfsg-3_armh..>2026-07-18 01:57 33M 
[ ]acl2_8.7+dfsg-3_i386..>2026-07-18 04:50 35M 
[ ]acl2_8.7+dfsg-3_loon..>2026-07-18 10:53 32M 
[ ]acl2_8.7+dfsg-3_ppc6..>2026-07-18 01:27 32M 
[ ]acl2_8.7+dfsg-3_risc..>2026-07-23 20:28 32M 
[ ]acl2_8.7+dfsg-3_s390..>2026-07-18 05:50 37M 
[ ]acl2_8.7+dfsg.orig.t..>2026-06-17 11:31 238M 
[ ]elpa-acl2_8.5dfsg-5_..>2023-01-16 18:25 69K 
[ ]elpa-acl2_8.6+dfsg-2..>2025-04-27 23:26 76K 
[ ]elpa-acl2_8.7+dfsg-2..>2026-06-18 00:42 76K 
[ ]elpa-acl2_8.7+dfsg-3..>2026-07-18 00:59 76K