../ acl2-books-certs_8.0dfsg-1_all.deb 13-Jan-2018 17:22 70M acl2-books-certs_8.3dfsg-2_all.deb 28-Jan-2021 05:55 139M acl2-books-certs_8.5dfsg-5_all.deb 16-Jan-2023 18:25 170M acl2-books-certs_8.5dfsg-6_all.deb 29-Jul-2024 03:14 64M acl2-books-source_8.0dfsg-1_all.deb 13-Jan-2018 17:22 12M acl2-books-source_8.3dfsg-2_all.deb 28-Jan-2021 05:55 19M acl2-books-source_8.5dfsg-5_all.deb 16-Jan-2023 18:25 24M acl2-books-source_8.5dfsg-6_all.deb 29-Jul-2024 03:14 24M acl2-books_8.0dfsg-1_amd64.deb 13-Jan-2018 17:22 132M acl2-books_8.0dfsg-1_arm64.deb 14-Jan-2018 06:17 135M acl2-books_8.0dfsg-1_armhf.deb 15-Jan-2018 12:16 120M acl2-books_8.0dfsg-1_i386.deb 14-Jan-2018 00:56 111M acl2-books_8.3dfsg-2_amd64.deb 28-Jan-2021 01:27 241M acl2-books_8.3dfsg-2_arm64.deb 28-Jan-2021 19:13 236M acl2-books_8.3dfsg-2_armel.deb 28-Jan-2021 10:43 218M acl2-books_8.3dfsg-2_armhf.deb 28-Jan-2021 10:12 223M acl2-books_8.3dfsg-2_i386.deb 28-Jan-2021 01:52 204M acl2-books_8.3dfsg-2_mips64el.deb 30-Jan-2021 22:42 254M acl2-books_8.3dfsg-2_mipsel.deb 29-Jan-2021 13:12 228M acl2-books_8.3dfsg-2_ppc64el.deb 28-Jan-2021 03:14 245M acl2-books_8.3dfsg-2_s390x.deb 28-Jan-2021 06:05 219M acl2-books_8.5dfsg-5_amd64.deb 16-Jan-2023 23:45 287M acl2-books_8.5dfsg-5_arm64.deb 18-Jan-2023 00:43 289M acl2-books_8.5dfsg-5_armel.deb 17-Jan-2023 22:56 268M acl2-books_8.5dfsg-5_armhf.deb 17-Jan-2023 15:02 272M acl2-books_8.5dfsg-5_i386.deb 16-Jan-2023 18:46 248M acl2-books_8.5dfsg-5_mips64el.deb 23-Jan-2023 16:28 309M acl2-books_8.5dfsg-5_mipsel.deb 22-Jan-2023 04:00 285M acl2-books_8.5dfsg-5_ppc64el.deb 18-Jan-2023 23:40 292M acl2-books_8.5dfsg-5_s390x.deb 16-Jan-2023 18:00 267M acl2-books_8.5dfsg-6_amd64.deb 29-Jul-2024 02:48 151M acl2-books_8.5dfsg-6_arm64.deb 29-Jul-2024 02:48 149M acl2-books_8.5dfsg-6_armel.deb 29-Jul-2024 03:55 142M acl2-books_8.5dfsg-6_armhf.deb 29-Jul-2024 11:05 144M acl2-books_8.5dfsg-6_i386.deb 29-Jul-2024 03:19 133M acl2-books_8.5dfsg-6_mips64el.deb 01-Aug-2024 16:24 164M acl2-books_8.5dfsg-6_ppc64el.deb 29-Jul-2024 01:47 157M acl2-books_8.5dfsg-6_riscv64.deb 31-Jul-2024 17:19 370M acl2-books_8.5dfsg-6_s390x.deb 31-Jul-2024 16:58 148M acl2-doc_8.0dfsg-1_all.deb 13-Jan-2018 17:22 392K acl2-doc_8.3dfsg-2_all.deb 28-Jan-2021 05:55 437K acl2-doc_8.5dfsg-5_all.deb 16-Jan-2023 18:25 470K acl2-doc_8.5dfsg-6_all.deb 29-Jul-2024 03:14 470K acl2-emacs_8.0dfsg-1_all.deb 13-Jan-2018 17:22 66K acl2-emacs_8.3dfsg-2_all.deb 28-Jan-2021 05:55 68K acl2-infix-source_8.0dfsg-1_all.deb 13-Jan-2018 17:22 77K acl2-infix-source_8.3dfsg-2_all.deb 28-Jan-2021 05:55 78K acl2-infix-source_8.5dfsg-5_all.deb 16-Jan-2023 18:25 71K acl2-infix-source_8.5dfsg-6_all.deb 29-Jul-2024 03:14 71K acl2-infix_8.0dfsg-1_amd64.deb 13-Jan-2018 17:22 422K acl2-infix_8.0dfsg-1_arm64.deb 14-Jan-2018 06:17 432K acl2-infix_8.0dfsg-1_armhf.deb 15-Jan-2018 12:16 407K acl2-infix_8.0dfsg-1_i386.deb 14-Jan-2018 00:56 390K acl2-infix_8.3dfsg-2_amd64.deb 28-Jan-2021 01:27 479K acl2-infix_8.3dfsg-2_arm64.deb 28-Jan-2021 19:13 469K acl2-infix_8.3dfsg-2_armel.deb 28-Jan-2021 10:43 463K acl2-infix_8.3dfsg-2_armhf.deb 28-Jan-2021 10:12 478K acl2-infix_8.3dfsg-2_i386.deb 28-Jan-2021 01:52 485K acl2-infix_8.3dfsg-2_mips64el.deb 30-Jan-2021 22:42 503K acl2-infix_8.3dfsg-2_mipsel.deb 29-Jan-2021 13:12 509K acl2-infix_8.3dfsg-2_ppc64el.deb 28-Jan-2021 03:14 498K acl2-infix_8.3dfsg-2_s390x.deb 28-Jan-2021 06:05 435K acl2-infix_8.5dfsg-5_amd64.deb 16-Jan-2023 23:45 464K acl2-infix_8.5dfsg-5_arm64.deb 18-Jan-2023 00:43 461K acl2-infix_8.5dfsg-5_armel.deb 17-Jan-2023 22:56 459K acl2-infix_8.5dfsg-5_armhf.deb 17-Jan-2023 15:02 472K acl2-infix_8.5dfsg-5_i386.deb 16-Jan-2023 18:46 477K acl2-infix_8.5dfsg-5_mips64el.deb 23-Jan-2023 16:28 491K acl2-infix_8.5dfsg-5_mipsel.deb 22-Jan-2023 04:00 503K acl2-infix_8.5dfsg-5_ppc64el.deb 18-Jan-2023 23:40 483K acl2-infix_8.5dfsg-5_s390x.deb 16-Jan-2023 18:00 432K acl2-infix_8.5dfsg-6_amd64.deb 29-Jul-2024 02:48 465K acl2-infix_8.5dfsg-6_arm64.deb 29-Jul-2024 02:48 455K acl2-infix_8.5dfsg-6_armel.deb 29-Jul-2024 03:55 459K acl2-infix_8.5dfsg-6_armhf.deb 29-Jul-2024 11:05 475K acl2-infix_8.5dfsg-6_i386.deb 29-Jul-2024 03:19 475K acl2-infix_8.5dfsg-6_mips64el.deb 01-Aug-2024 16:24 491K acl2-infix_8.5dfsg-6_ppc64el.deb 29-Jul-2024 01:47 485K acl2-infix_8.5dfsg-6_riscv64.deb 31-Jul-2024 17:19 1009K acl2-infix_8.5dfsg-6_s390x.deb 31-Jul-2024 16:58 464K acl2-source_8.0dfsg-1_all.deb 13-Jan-2018 17:22 3M acl2-source_8.3dfsg-2_all.deb 28-Jan-2021 05:55 3M acl2-source_8.5dfsg-5_all.deb 16-Jan-2023 18:25 3M acl2-source_8.5dfsg-6_all.deb 29-Jul-2024 03:14 3M acl2_8.0dfsg-1.debian.tar.xz 13-Jan-2018 17:22 200K acl2_8.0dfsg-1.dsc 13-Jan-2018 17:22 2245 acl2_8.0dfsg-1_amd64.deb 13-Jan-2018 17:22 19M acl2_8.0dfsg-1_arm64.deb 14-Jan-2018 06:17 17M acl2_8.0dfsg-1_armhf.deb 15-Jan-2018 12:16 15M acl2_8.0dfsg-1_i386.deb 14-Jan-2018 00:56 16M acl2_8.0dfsg.orig.tar.gz 13-Jan-2018 17:22 74M acl2_8.3dfsg-2.debian.tar.xz 27-Jan-2021 18:04 223K acl2_8.3dfsg-2.dsc 27-Jan-2021 18:04 2275 acl2_8.3dfsg-2_amd64.deb 28-Jan-2021 01:27 20M acl2_8.3dfsg-2_arm64.deb 28-Jan-2021 19:13 19M acl2_8.3dfsg-2_armel.deb 28-Jan-2021 10:43 18M acl2_8.3dfsg-2_armhf.deb 28-Jan-2021 10:12 18M acl2_8.3dfsg-2_i386.deb 28-Jan-2021 01:52 19M acl2_8.3dfsg-2_mips64el.deb 30-Jan-2021 22:42 18M acl2_8.3dfsg-2_mipsel.deb 29-Jan-2021 13:12 19M acl2_8.3dfsg-2_ppc64el.deb 28-Jan-2021 03:14 22M acl2_8.3dfsg-2_s390x.deb 28-Jan-2021 06:05 20M acl2_8.3dfsg.orig.tar.gz 24-Aug-2020 06:09 112M acl2_8.5dfsg-5.debian.tar.xz 16-Jan-2023 05:30 306K acl2_8.5dfsg-5.dsc 16-Jan-2023 05:30 2268 acl2_8.5dfsg-5_amd64.deb 16-Jan-2023 23:45 22M acl2_8.5dfsg-5_arm64.deb 18-Jan-2023 00:43 21M acl2_8.5dfsg-5_armel.deb 17-Jan-2023 22:56 18M acl2_8.5dfsg-5_armhf.deb 17-Jan-2023 15:02 19M acl2_8.5dfsg-5_i386.deb 16-Jan-2023 18:46 19M acl2_8.5dfsg-5_mips64el.deb 23-Jan-2023 16:28 20M acl2_8.5dfsg-5_mipsel.deb 22-Jan-2023 04:00 19M acl2_8.5dfsg-5_ppc64el.deb 18-Jan-2023 23:40 22M acl2_8.5dfsg-5_s390x.deb 16-Jan-2023 18:00 21M acl2_8.5dfsg-6.debian.tar.xz 28-Jul-2024 20:01 306K acl2_8.5dfsg-6.dsc 28-Jul-2024 20:01 2268 acl2_8.5dfsg-6_amd64.deb 29-Jul-2024 02:48 22M acl2_8.5dfsg-6_arm64.deb 29-Jul-2024 02:48 20M acl2_8.5dfsg-6_armel.deb 29-Jul-2024 03:55 18M acl2_8.5dfsg-6_armhf.deb 29-Jul-2024 11:05 18M acl2_8.5dfsg-6_i386.deb 29-Jul-2024 03:19 19M acl2_8.5dfsg-6_mips64el.deb 01-Aug-2024 16:24 20M acl2_8.5dfsg-6_ppc64el.deb 29-Jul-2024 01:47 22M acl2_8.5dfsg-6_riscv64.deb 31-Jul-2024 17:19 21M acl2_8.5dfsg-6_s390x.deb 31-Jul-2024 16:58 22M acl2_8.5dfsg.orig.tar.gz 27-Jul-2022 17:43 213M elpa-acl2_8.5dfsg-5_all.deb 16-Jan-2023 18:25 69K elpa-acl2_8.5dfsg-6_all.deb 29-Jul-2024 03:14 69K