Index of /pardus/pool/main/a/acl2/
../
acl2-books-certs_7.2dfsg-3_all.deb 25-Aug-2021 03:22 52M
acl2-books-certs_8.0dfsg-1_all.deb 25-Aug-2021 01:10 70M
acl2-books-certs_8.3dfsg-2_all.deb 24-Aug-2021 20:24 139M
acl2-books-certs_8.5dfsg-5_all.deb 10-Feb-2023 17:59 170M
acl2-books-certs_8.6+dfsg-2_all.deb 13-Aug-2025 02:20 211M
acl2-books-source_7.2dfsg-3_all.deb 25-Aug-2021 03:57 10M
acl2-books-source_8.0dfsg-1_all.deb 24-Aug-2021 23:10 12M
acl2-books-source_8.3dfsg-2_all.deb 24-Aug-2021 19:33 19M
acl2-books-source_8.5dfsg-5_all.deb 10-Feb-2023 15:58 24M
acl2-books-source_8.6+dfsg-2_all.deb 13-Aug-2025 03:57 26M
acl2-books_7.2dfsg-3_amd64.deb 25-Aug-2021 03:28 103M
acl2-books_7.2dfsg-3_i386.deb 25-Aug-2021 03:23 86M
acl2-books_8.0dfsg-1_amd64.deb 25-Aug-2021 01:48 132M
acl2-books_8.0dfsg-1_arm64.deb 24-Aug-2021 23:40 135M
acl2-books_8.0dfsg-1_i386.deb 25-Aug-2021 02:18 111M
acl2-books_8.3dfsg-2_amd64.deb 24-Aug-2021 19:29 241M
acl2-books_8.3dfsg-2_arm64.deb 24-Aug-2021 21:43 236M
acl2-books_8.3dfsg-2_i386.deb 24-Aug-2021 17:16 204M
acl2-books_8.5dfsg-5_amd64.deb 10-Feb-2023 17:23 287M
acl2-books_8.5dfsg-5_arm64.deb 10-Feb-2023 17:15 289M
acl2-books_8.5dfsg-5_i386.deb 10-Feb-2023 16:54 248M
acl2-books_8.6+dfsg-2_amd64.deb 13-Aug-2025 02:11 416M
acl2-books_8.6+dfsg-2_arm64.deb 13-Aug-2025 04:25 412M
acl2-books_8.6+dfsg-2_i386.deb 13-Aug-2025 00:14 344M
acl2-doc_7.2dfsg-3_all.deb 25-Aug-2021 04:24 372K
acl2-doc_8.0dfsg-1_all.deb 25-Aug-2021 00:53 392K
acl2-doc_8.3dfsg-2_all.deb 24-Aug-2021 17:59 437K
acl2-doc_8.5dfsg-5_all.deb 10-Feb-2023 18:16 470K
acl2-doc_8.6+dfsg-2_all.deb 13-Aug-2025 03:57 513K
acl2-emacs_7.2dfsg-3_all.deb 25-Aug-2021 04:15 63K
acl2-emacs_8.0dfsg-1_all.deb 25-Aug-2021 01:28 66K
acl2-emacs_8.3dfsg-2_all.deb 24-Aug-2021 19:21 68K
acl2-infix-source_7.2dfsg-3_all.deb 25-Aug-2021 03:30 77K
acl2-infix-source_8.0dfsg-1_all.deb 25-Aug-2021 00:25 77K
acl2-infix-source_8.3dfsg-2_all.deb 24-Aug-2021 21:04 78K
acl2-infix-source_8.5dfsg-5_all.deb 10-Feb-2023 17:57 71K
acl2-infix-source_8.6+dfsg-2_all.deb 13-Aug-2025 01:08 71K
acl2-infix_7.2dfsg-3_amd64.deb 25-Aug-2021 03:33 410K
acl2-infix_7.2dfsg-3_i386.deb 25-Aug-2021 04:08 381K
acl2-infix_8.0dfsg-1_amd64.deb 25-Aug-2021 01:51 422K
acl2-infix_8.0dfsg-1_arm64.deb 25-Aug-2021 01:27 432K
acl2-infix_8.0dfsg-1_i386.deb 25-Aug-2021 01:46 390K
acl2-infix_8.3dfsg-2_amd64.deb 24-Aug-2021 17:07 479K
acl2-infix_8.3dfsg-2_arm64.deb 24-Aug-2021 19:32 469K
acl2-infix_8.3dfsg-2_i386.deb 24-Aug-2021 20:52 485K
acl2-infix_8.5dfsg-5_amd64.deb 10-Feb-2023 17:44 464K
acl2-infix_8.5dfsg-5_arm64.deb 10-Feb-2023 17:21 461K
acl2-infix_8.5dfsg-5_i386.deb 10-Feb-2023 16:34 477K
acl2-infix_8.6+dfsg-2_amd64.deb 13-Aug-2025 02:22 866K
acl2-infix_8.6+dfsg-2_arm64.deb 13-Aug-2025 01:31 834K
acl2-infix_8.6+dfsg-2_i386.deb 13-Aug-2025 02:20 852K
acl2-source_7.2dfsg-3_all.deb 25-Aug-2021 03:19 3M
acl2-source_8.0dfsg-1_all.deb 25-Aug-2021 01:04 3M
acl2-source_8.3dfsg-2_all.deb 24-Aug-2021 19:56 3M
acl2-source_8.5dfsg-5_all.deb 10-Feb-2023 16:54 3M
acl2-source_8.6+dfsg-2_all.deb 13-Aug-2025 00:38 4M
acl2_7.2dfsg-3.debian.tar.xz 25-Aug-2021 03:09 199K
acl2_7.2dfsg-3.dsc 25-Aug-2021 03:09 2231
acl2_7.2dfsg-3_amd64.deb 25-Aug-2021 04:09 17M
acl2_7.2dfsg-3_i386.deb 25-Aug-2021 04:09 15M
acl2_7.2dfsg.orig.tar.gz 25-Aug-2021 03:09 61M
acl2_8.0dfsg-1.debian.tar.xz 25-Aug-2021 00:33 200K
acl2_8.0dfsg-1.dsc 25-Aug-2021 00:33 2245
acl2_8.0dfsg-1_amd64.deb 25-Aug-2021 00:25 19M
acl2_8.0dfsg-1_arm64.deb 24-Aug-2021 22:28 17M
acl2_8.0dfsg-1_i386.deb 25-Aug-2021 02:17 16M
acl2_8.0dfsg.orig.tar.gz 25-Aug-2021 00:33 74M
acl2_8.3dfsg-2.debian.tar.xz 24-Aug-2021 19:20 223K
acl2_8.3dfsg-2.dsc 24-Aug-2021 19:20 2275
acl2_8.3dfsg-2_amd64.deb 24-Aug-2021 18:55 20M
acl2_8.3dfsg-2_arm64.deb 24-Aug-2021 17:41 19M
acl2_8.3dfsg-2_i386.deb 24-Aug-2021 18:53 19M
acl2_8.3dfsg.orig.tar.gz 24-Aug-2021 19:20 112M
acl2_8.5dfsg-5.debian.tar.xz 10-Feb-2023 17:21 306K
acl2_8.5dfsg-5.dsc 10-Feb-2023 17:21 2268
acl2_8.5dfsg-5_amd64.deb 10-Feb-2023 16:21 22M
acl2_8.5dfsg-5_arm64.deb 10-Feb-2023 16:41 21M
acl2_8.5dfsg-5_i386.deb 10-Feb-2023 17:48 19M
acl2_8.5dfsg.orig.tar.gz 28-Nov-2022 15:51 213M
acl2_8.6+dfsg-2.debian.tar.xz 13-Aug-2025 02:17 435K
acl2_8.6+dfsg-2.dsc 13-Aug-2025 02:17 2286
acl2_8.6+dfsg-2_amd64.deb 13-Aug-2025 02:52 35M
acl2_8.6+dfsg-2_arm64.deb 13-Aug-2025 01:30 35M
acl2_8.6+dfsg-2_i386.deb 13-Aug-2025 04:30 39M
acl2_8.6+dfsg.orig.tar.gz 13-Aug-2025 02:17 229M
elpa-acl2_8.5dfsg-5_all.deb 10-Feb-2023 16:03 69K
elpa-acl2_8.6+dfsg-2_all.deb 13-Aug-2025 01:31 76K