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.5dfsg-6_all.deb2024-07-29 05:14 64M 
[ ]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.5dfsg-6_all.deb2024-07-29 05:14 24M 
[ ]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.5dfsg-6_amd64.deb2024-07-29 04:48 151M 
[ ]acl2-books_8.5dfsg-6_arm64.deb2024-07-29 04:48 149M 
[ ]acl2-books_8.5dfsg-6_armel.deb2024-07-29 05:55 142M 
[ ]acl2-books_8.5dfsg-6_armhf.deb2024-07-29 13:05 144M 
[ ]acl2-books_8.5dfsg-6_i386.deb2024-07-29 05:19 133M 
[ ]acl2-books_8.5dfsg-6_mips64el.deb2024-08-01 18:24 164M 
[ ]acl2-books_8.5dfsg-6_ppc64el.deb2024-07-29 03:47 157M 
[ ]acl2-books_8.5dfsg-6_riscv64.deb2024-07-31 19:19 370M 
[ ]acl2-books_8.5dfsg-6_s390x.deb2024-07-31 18:58 148M 
[ ]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.5dfsg-6_all.deb2024-07-29 05:14 470K 
[ ]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.5dfsg-6_all.deb2024-07-29 05:14 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.5dfsg-6_amd64.deb2024-07-29 04:48 465K 
[ ]acl2-infix_8.5dfsg-6_arm64.deb2024-07-29 04:48 455K 
[ ]acl2-infix_8.5dfsg-6_armel.deb2024-07-29 05:55 459K 
[ ]acl2-infix_8.5dfsg-6_armhf.deb2024-07-29 13:05 475K 
[ ]acl2-infix_8.5dfsg-6_i386.deb2024-07-29 05:19 475K 
[ ]acl2-infix_8.5dfsg-6_mips64el.deb2024-08-01 18:24 491K 
[ ]acl2-infix_8.5dfsg-6_ppc64el.deb2024-07-29 03:47 485K 
[ ]acl2-infix_8.5dfsg-6_riscv64.deb2024-07-31 19:19 1.0M 
[ ]acl2-infix_8.5dfsg-6_s390x.deb2024-07-31 18:58 464K 
[ ]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.5dfsg-6_all.deb2024-07-29 05:14 3.4M 
[ ]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-6.debian.tar.xz2024-07-28 22:01 306K 
[TXT]acl2_8.5dfsg-6.dsc2024-07-28 22:01 2.2K 
[ ]acl2_8.5dfsg-6_amd64.deb2024-07-29 04:48 22M 
[ ]acl2_8.5dfsg-6_arm64.deb2024-07-29 04:48 20M 
[ ]acl2_8.5dfsg-6_armel.deb2024-07-29 05:55 18M 
[ ]acl2_8.5dfsg-6_armhf.deb2024-07-29 13:05 18M 
[ ]acl2_8.5dfsg-6_i386.deb2024-07-29 05:19 19M 
[ ]acl2_8.5dfsg-6_mips64el.deb2024-08-01 18:24 20M 
[ ]acl2_8.5dfsg-6_ppc64el.deb2024-07-29 03:47 22M 
[ ]acl2_8.5dfsg-6_riscv64.deb2024-07-31 19:19 21M 
[ ]acl2_8.5dfsg-6_s390x.deb2024-07-31 18:58 22M 
[ ]acl2_8.5dfsg.orig.tar.gz2022-07-27 19:43 213M 
[ ]elpa-acl2_8.5dfsg-5_all.deb2023-01-16 20:25 69K 
[ ]elpa-acl2_8.5dfsg-6_all.deb2024-07-29 05:14 69K