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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]acl2-books-certs_8.0..>2018-01-13 17:22 70M 
[ ]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.6..>2025-05-14 23:54 212M 
[ ]acl2-books-source_8...>2018-01-13 17:22 12M 
[ ]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...>2025-05-14 23:54 26M 
[ ]acl2-books_8.0dfsg-1..>2018-01-13 17:22 132M 
[ ]acl2-books_8.0dfsg-1..>2018-01-14 06:17 135M 
[ ]acl2-books_8.0dfsg-1..>2018-01-15 12:16 120M 
[ ]acl2-books_8.0dfsg-1..>2018-01-14 00:56 111M 
[ ]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:43 218M 
[ ]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.3dfsg-2..>2021-01-30 22:42 254M 
[ ]acl2-books_8.3dfsg-2..>2021-01-29 13:12 228M 
[ ]acl2-books_8.3dfsg-2..>2021-01-28 03:14 245M 
[ ]acl2-books_8.3dfsg-2..>2021-01-28 06:05 219M 
[ ]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.6+dfsg-..>2025-05-15 00:10 416M 
[ ]acl2-books_8.6+dfsg-..>2025-05-15 17:17 413M 
[ ]acl2-books_8.6+dfsg-..>2025-05-15 02:33 386M 
[ ]acl2-books_8.6+dfsg-..>2025-05-15 01:47 395M 
[ ]acl2-books_8.6+dfsg-..>2025-05-15 01:57 344M 
[ ]acl2-books_8.6+dfsg-..>2025-05-16 11:49 441M 
[ ]acl2-books_8.6+dfsg-..>2025-05-14 23:39 430M 
[ ]acl2-books_8.6+dfsg-..>2025-05-19 06:30 937M 
[ ]acl2-books_8.6+dfsg-..>2025-05-15 05:39 417M 
[ ]acl2-doc_8.0dfsg-1_a..>2018-01-13 17:22 392K 
[ ]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.6+dfsg-3_..>2025-05-14 23:54 513K 
[ ]acl2-emacs_8.0dfsg-1..>2018-01-13 17:22 66K 
[ ]acl2-emacs_8.3dfsg-2..>2021-01-28 05:55 68K 
[ ]acl2-infix-source_8...>2018-01-13 17:22 77K 
[ ]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...>2025-05-14 23:54 71K 
[ ]acl2-infix_8.0dfsg-1..>2018-01-13 17:22 422K 
[ ]acl2-infix_8.0dfsg-1..>2018-01-14 06:17 432K 
[ ]acl2-infix_8.0dfsg-1..>2018-01-15 12:16 407K 
[ ]acl2-infix_8.0dfsg-1..>2018-01-14 00:56 390K 
[ ]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:43 463K 
[ ]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.3dfsg-2..>2021-01-30 22:42 503K 
[ ]acl2-infix_8.3dfsg-2..>2021-01-29 13:12 509K 
[ ]acl2-infix_8.3dfsg-2..>2021-01-28 03:14 498K 
[ ]acl2-infix_8.3dfsg-2..>2021-01-28 06:05 435K 
[ ]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.6+dfsg-..>2025-05-15 00:10 865K 
[ ]acl2-infix_8.6+dfsg-..>2025-05-15 17:17 833K 
[ ]acl2-infix_8.6+dfsg-..>2025-05-15 02:33 813K 
[ ]acl2-infix_8.6+dfsg-..>2025-05-15 01:47 846K 
[ ]acl2-infix_8.6+dfsg-..>2025-05-15 01:57 853K 
[ ]acl2-infix_8.6+dfsg-..>2025-05-16 11:49 875K 
[ ]acl2-infix_8.6+dfsg-..>2025-05-14 23:39 882K 
[ ]acl2-infix_8.6+dfsg-..>2025-05-19 06:30 1.8M 
[ ]acl2-infix_8.6+dfsg-..>2025-05-15 05:39 863K 
[ ]acl2-source_8.0dfsg-..>2018-01-13 17:22 2.9M 
[ ]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.6+dfsg..>2025-05-14 23:54 3.8M 
[ ]acl2_8.0dfsg-1.debia..>2018-01-13 17:22 200K 
[TXT]acl2_8.0dfsg-1.dsc 2018-01-13 17:22 2.2K 
[ ]acl2_8.0dfsg-1_amd64..>2018-01-13 17:22 19M 
[ ]acl2_8.0dfsg-1_arm64..>2018-01-14 06:17 17M 
[ ]acl2_8.0dfsg-1_armhf..>2018-01-15 12:16 15M 
[ ]acl2_8.0dfsg-1_i386.deb2018-01-14 00:56 16M 
[ ]acl2_8.0dfsg.orig.ta..>2018-01-13 17:22 74M 
[ ]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_armel..>2021-01-28 10:43 18M 
[ ]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-2_mips6..>2021-01-30 22:42 18M 
[ ]acl2_8.3dfsg-2_mipse..>2021-01-29 13:12 19M 
[ ]acl2_8.3dfsg-2_ppc64..>2021-01-28 03:14 22M 
[ ]acl2_8.3dfsg-2_s390x..>2021-01-28 06:05 20M 
[ ]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-3.debi..>2025-05-14 17:40 695K 
[TXT]acl2_8.6+dfsg-3.dsc 2025-05-14 17:40 2.2K 
[ ]acl2_8.6+dfsg-3_amd6..>2025-05-15 00:10 35M 
[ ]acl2_8.6+dfsg-3_arm6..>2025-05-15 17:17 36M 
[ ]acl2_8.6+dfsg-3_arme..>2025-05-15 02:33 36M 
[ ]acl2_8.6+dfsg-3_armh..>2025-05-15 01:47 38M 
[ ]acl2_8.6+dfsg-3_i386..>2025-05-15 01:57 39M 
[ ]acl2_8.6+dfsg-3_mips..>2025-05-16 11:49 36M 
[ ]acl2_8.6+dfsg-3_ppc6..>2025-05-14 23:39 35M 
[ ]acl2_8.6+dfsg-3_risc..>2025-05-19 06:30 35M 
[ ]acl2_8.6+dfsg-3_s390..>2025-05-15 05:39 38M 
[ ]acl2_8.6+dfsg.orig.t..>2025-04-27 00:51 229M 
[ ]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.6+dfsg-3..>2025-05-14 23:54 77K