Index of /debian/pool/main/a/acl2/
../ acl2-books-certs_6.5-2_all.deb 08-Sep-2014 21:35 6M acl2-books-certs_7.2dfsg-3_all.deb 17-Oct-2016 21:35 52M acl2-books-certs_8.0dfsg-1_all.deb 13-Jan-2018 20:52 70M acl2-books-certs_8.3dfsg-2_all.deb 28-Jan-2021 09:25 139M acl2-books-certs_8.5dfsg-2_all.deb 23-Dec-2022 03:13 173M acl2-books-certs_8.5dfsg-3_all.deb 31-Dec-2022 10:25 171M acl2-books-certs_8.5dfsg-4_all.deb 14-Jan-2023 20:16 170M acl2-books-certs_8.5dfsg-5_all.deb 16-Jan-2023 21:55 170M acl2-books-source_6.5-2_all.deb 08-Sep-2014 21:35 7M acl2-books-source_7.2dfsg-3_all.deb 17-Oct-2016 21:35 10M acl2-books-source_8.0dfsg-1_all.deb 13-Jan-2018 20:52 12M acl2-books-source_8.3dfsg-2_all.deb 28-Jan-2021 09:25 19M acl2-books-source_8.5dfsg-2_all.deb 23-Dec-2022 03:13 24M acl2-books-source_8.5dfsg-3_all.deb 31-Dec-2022 10:25 24M acl2-books-source_8.5dfsg-4_all.deb 14-Jan-2023 20:16 24M acl2-books-source_8.5dfsg-5_all.deb 16-Jan-2023 21:55 24M acl2-books_6.5-2_amd64.deb 08-Sep-2014 21:35 22M acl2-books_6.5-2_armel.deb 09-Sep-2014 18:25 65M acl2-books_6.5-2_armhf.deb 12-Sep-2014 17:12 67M acl2-books_6.5-2_i386.deb 09-Sep-2014 04:44 21M acl2-books_7.2dfsg-3_amd64.deb 17-Oct-2016 21:35 103M acl2-books_7.2dfsg-3_arm64.deb 18-Oct-2016 12:59 104M acl2-books_7.2dfsg-3_armel.deb 19-Oct-2016 12:29 86M acl2-books_7.2dfsg-3_armhf.deb 19-Oct-2016 08:33 92M acl2-books_7.2dfsg-3_i386.deb 18-Oct-2016 06:35 86M acl2-books_7.2dfsg-3_mips.deb 18-Oct-2016 22:12 71M acl2-books_7.2dfsg-3_mips64el.deb 20-Oct-2016 07:31 108M acl2-books_7.2dfsg-3_mipsel.deb 19-Oct-2016 21:45 74M acl2-books_7.2dfsg-3_ppc64el.deb 18-Oct-2016 05:34 99M acl2-books_7.2dfsg-3_s390x.deb 18-Oct-2016 14:30 102M acl2-books_8.0dfsg-1+b1_armel.deb 14-Feb-2019 20:00 127M acl2-books_8.0dfsg-1_amd64.deb 13-Jan-2018 20:52 132M acl2-books_8.0dfsg-1_arm64.deb 14-Jan-2018 09:47 135M acl2-books_8.0dfsg-1_armhf.deb 15-Jan-2018 15:46 120M acl2-books_8.0dfsg-1_i386.deb 14-Jan-2018 04:26 111M acl2-books_8.0dfsg-1_mips.deb 16-Jan-2018 13:15 126M acl2-books_8.0dfsg-1_mips64el.deb 16-Jan-2018 10:44 140M acl2-books_8.0dfsg-1_mipsel.deb 16-Jan-2018 12:14 131M acl2-books_8.0dfsg-1_ppc64el.deb 14-Jan-2018 03:26 130M acl2-books_8.0dfsg-1_s390x.deb 14-Jan-2018 03:41 122M acl2-books_8.3dfsg-2_amd64.deb 28-Jan-2021 04:57 241M acl2-books_8.3dfsg-2_arm64.deb 28-Jan-2021 22:43 236M acl2-books_8.3dfsg-2_armel.deb 28-Jan-2021 14:13 218M acl2-books_8.3dfsg-2_armhf.deb 28-Jan-2021 13:42 223M acl2-books_8.3dfsg-2_i386.deb 28-Jan-2021 05:22 204M acl2-books_8.3dfsg-2_mips64el.deb 31-Jan-2021 02:12 254M acl2-books_8.3dfsg-2_mipsel.deb 29-Jan-2021 16:42 228M acl2-books_8.3dfsg-2_ppc64el.deb 28-Jan-2021 06:44 245M acl2-books_8.3dfsg-2_s390x.deb 28-Jan-2021 09:35 219M acl2-books_8.5dfsg-2_amd64.deb 23-Dec-2022 06:13 295M acl2-books_8.5dfsg-2_arm64.deb 25-Dec-2022 08:59 289M acl2-books_8.5dfsg-2_armel.deb 24-Dec-2022 00:10 272M acl2-books_8.5dfsg-2_armhf.deb 23-Dec-2022 21:48 279M acl2-books_8.5dfsg-2_i386.deb 23-Dec-2022 04:04 256M acl2-books_8.5dfsg-2_mips64el.deb 26-Dec-2022 17:47 316M acl2-books_8.5dfsg-2_mipsel.deb 29-Dec-2022 18:32 287M acl2-books_8.5dfsg-2_ppc64el.deb 23-Dec-2022 11:12 301M acl2-books_8.5dfsg-2_s390x.deb 23-Dec-2022 18:41 274M acl2-books_8.5dfsg-3_amd64.deb 31-Dec-2022 11:56 287M acl2-books_8.5dfsg-3_arm64.deb 01-Jan-2023 06:12 290M acl2-books_8.5dfsg-3_armel.deb 01-Jan-2023 10:33 268M acl2-books_8.5dfsg-3_armhf.deb 01-Jan-2023 22:13 272M acl2-books_8.5dfsg-3_i386.deb 31-Dec-2022 11:26 246M acl2-books_8.5dfsg-3_mips64el.deb 06-Jan-2023 15:13 309M acl2-books_8.5dfsg-3_mipsel.deb 05-Jan-2023 13:30 285M acl2-books_8.5dfsg-3_ppc64el.deb 31-Dec-2022 16:12 292M acl2-books_8.5dfsg-3_s390x.deb 31-Dec-2022 18:04 268M acl2-books_8.5dfsg-4_ppc64el.deb 15-Jan-2023 11:43 292M acl2-books_8.5dfsg-5_amd64.deb 17-Jan-2023 03:15 287M acl2-books_8.5dfsg-5_arm64.deb 18-Jan-2023 04:13 289M acl2-books_8.5dfsg-5_armel.deb 18-Jan-2023 02:26 268M acl2-books_8.5dfsg-5_armhf.deb 17-Jan-2023 18:32 272M acl2-books_8.5dfsg-5_i386.deb 16-Jan-2023 22:16 248M acl2-books_8.5dfsg-5_mips64el.deb 23-Jan-2023 19:58 309M acl2-books_8.5dfsg-5_mipsel.deb 22-Jan-2023 07:30 285M acl2-books_8.5dfsg-5_ppc64el.deb 19-Jan-2023 03:10 292M acl2-books_8.5dfsg-5_s390x.deb 16-Jan-2023 21:30 267M acl2-doc_6.5-2_all.deb 08-Sep-2014 21:35 2M acl2-doc_7.2dfsg-3_all.deb 17-Oct-2016 21:35 372K acl2-doc_8.0dfsg-1_all.deb 13-Jan-2018 20:52 392K acl2-doc_8.3dfsg-2_all.deb 28-Jan-2021 09:25 437K acl2-doc_8.5dfsg-2_all.deb 23-Dec-2022 03:13 470K acl2-doc_8.5dfsg-3_all.deb 31-Dec-2022 10:25 470K acl2-doc_8.5dfsg-5_all.deb 16-Jan-2023 21:55 470K acl2-emacs_6.5-2_all.deb 08-Sep-2014 21:35 59K acl2-emacs_7.2dfsg-3_all.deb 17-Oct-2016 21:35 63K acl2-emacs_8.0dfsg-1_all.deb 13-Jan-2018 20:52 66K acl2-emacs_8.3dfsg-2_all.deb 28-Jan-2021 09:25 68K acl2-infix-source_6.5-2_all.deb 08-Sep-2014 21:35 78K acl2-infix-source_7.2dfsg-3_all.deb 17-Oct-2016 21:35 77K acl2-infix-source_8.0dfsg-1_all.deb 13-Jan-2018 20:52 77K acl2-infix-source_8.3dfsg-2_all.deb 28-Jan-2021 09:25 78K acl2-infix-source_8.5dfsg-2_all.deb 23-Dec-2022 03:13 71K acl2-infix-source_8.5dfsg-3_all.deb 31-Dec-2022 10:25 71K acl2-infix-source_8.5dfsg-5_all.deb 16-Jan-2023 21:55 71K acl2-infix_6.5-2_amd64.deb 08-Sep-2014 21:35 147K acl2-infix_6.5-2_armel.deb 09-Sep-2014 18:25 403K acl2-infix_6.5-2_armhf.deb 12-Sep-2014 17:12 424K acl2-infix_6.5-2_i386.deb 09-Sep-2014 04:44 148K acl2-infix_7.2dfsg-3_amd64.deb 17-Oct-2016 21:35 410K acl2-infix_7.2dfsg-3_arm64.deb 18-Oct-2016 12:59 420K acl2-infix_7.2dfsg-3_armel.deb 19-Oct-2016 12:29 382K acl2-infix_7.2dfsg-3_armhf.deb 19-Oct-2016 08:33 401K acl2-infix_7.2dfsg-3_i386.deb 18-Oct-2016 06:35 381K acl2-infix_7.2dfsg-3_mips.deb 18-Oct-2016 22:12 408K acl2-infix_7.2dfsg-3_mips64el.deb 20-Oct-2016 07:31 424K acl2-infix_7.2dfsg-3_mipsel.deb 19-Oct-2016 21:45 426K acl2-infix_7.2dfsg-3_ppc64el.deb 18-Oct-2016 05:34 413K acl2-infix_7.2dfsg-3_s390x.deb 18-Oct-2016 14:30 408K acl2-infix_8.0dfsg-1+b1_armel.deb 14-Feb-2019 20:00 432K acl2-infix_8.0dfsg-1_amd64.deb 13-Jan-2018 20:52 422K acl2-infix_8.0dfsg-1_arm64.deb 14-Jan-2018 09:47 432K acl2-infix_8.0dfsg-1_armhf.deb 15-Jan-2018 15:46 407K acl2-infix_8.0dfsg-1_i386.deb 14-Jan-2018 04:26 390K acl2-infix_8.0dfsg-1_mips.deb 16-Jan-2018 13:15 421K acl2-infix_8.0dfsg-1_mips64el.deb 16-Jan-2018 10:44 440K acl2-infix_8.0dfsg-1_mipsel.deb 16-Jan-2018 12:14 442K acl2-infix_8.0dfsg-1_ppc64el.deb 14-Jan-2018 03:26 434K acl2-infix_8.0dfsg-1_s390x.deb 14-Jan-2018 03:41 397K acl2-infix_8.3dfsg-2_amd64.deb 28-Jan-2021 04:57 479K acl2-infix_8.3dfsg-2_arm64.deb 28-Jan-2021 22:43 469K acl2-infix_8.3dfsg-2_armel.deb 28-Jan-2021 14:13 463K acl2-infix_8.3dfsg-2_armhf.deb 28-Jan-2021 13:42 478K acl2-infix_8.3dfsg-2_i386.deb 28-Jan-2021 05:22 485K acl2-infix_8.3dfsg-2_mips64el.deb 31-Jan-2021 02:12 503K acl2-infix_8.3dfsg-2_mipsel.deb 29-Jan-2021 16:42 509K acl2-infix_8.3dfsg-2_ppc64el.deb 28-Jan-2021 06:44 498K acl2-infix_8.3dfsg-2_s390x.deb 28-Jan-2021 09:35 435K acl2-infix_8.5dfsg-2_amd64.deb 23-Dec-2022 06:13 475K acl2-infix_8.5dfsg-2_arm64.deb 25-Dec-2022 08:59 470K acl2-infix_8.5dfsg-2_armel.deb 24-Dec-2022 00:10 459K acl2-infix_8.5dfsg-2_armhf.deb 23-Dec-2022 21:48 471K acl2-infix_8.5dfsg-2_i386.deb 23-Dec-2022 04:04 477K acl2-infix_8.5dfsg-2_mips64el.deb 26-Dec-2022 17:47 497K acl2-infix_8.5dfsg-2_mipsel.deb 29-Dec-2022 18:32 502K acl2-infix_8.5dfsg-2_ppc64el.deb 23-Dec-2022 11:12 492K acl2-infix_8.5dfsg-2_s390x.deb 23-Dec-2022 18:41 438K acl2-infix_8.5dfsg-3_amd64.deb 31-Dec-2022 11:56 468K acl2-infix_8.5dfsg-3_arm64.deb 01-Jan-2023 06:12 460K acl2-infix_8.5dfsg-3_armel.deb 01-Jan-2023 10:33 462K acl2-infix_8.5dfsg-3_armhf.deb 01-Jan-2023 22:13 471K acl2-infix_8.5dfsg-3_i386.deb 31-Dec-2022 11:26 479K acl2-infix_8.5dfsg-3_mips64el.deb 06-Jan-2023 15:13 491K acl2-infix_8.5dfsg-3_mipsel.deb 05-Jan-2023 13:30 504K acl2-infix_8.5dfsg-3_ppc64el.deb 31-Dec-2022 16:12 486K acl2-infix_8.5dfsg-3_s390x.deb 31-Dec-2022 18:04 433K acl2-infix_8.5dfsg-5_amd64.deb 17-Jan-2023 03:15 464K acl2-infix_8.5dfsg-5_arm64.deb 18-Jan-2023 04:13 461K acl2-infix_8.5dfsg-5_armel.deb 18-Jan-2023 02:26 459K acl2-infix_8.5dfsg-5_armhf.deb 17-Jan-2023 18:32 472K acl2-infix_8.5dfsg-5_i386.deb 16-Jan-2023 22:16 477K acl2-infix_8.5dfsg-5_mips64el.deb 23-Jan-2023 19:58 491K acl2-infix_8.5dfsg-5_mipsel.deb 22-Jan-2023 07:30 503K acl2-infix_8.5dfsg-5_ppc64el.deb 19-Jan-2023 03:10 483K acl2-infix_8.5dfsg-5_s390x.deb 16-Jan-2023 21:30 432K acl2-source_6.5-2_all.deb 08-Sep-2014 21:35 3M acl2-source_7.2dfsg-3_all.deb 17-Oct-2016 21:35 3M acl2-source_8.0dfsg-1_all.deb 13-Jan-2018 20:52 3M acl2-source_8.3dfsg-2_all.deb 28-Jan-2021 09:25 3M acl2-source_8.5dfsg-2_all.deb 23-Dec-2022 03:13 3M acl2-source_8.5dfsg-3_all.deb 31-Dec-2022 10:25 3M acl2-source_8.5dfsg-5_all.deb 16-Jan-2023 21:55 3M acl2_6.5-2.debian.tar.xz 08-Sep-2014 21:35 125K acl2_6.5-2.dsc 08-Sep-2014 21:35 1807 acl2_6.5-2_amd64.deb 08-Sep-2014 21:35 16M acl2_6.5-2_armel.deb 09-Sep-2014 18:25 13M acl2_6.5-2_armhf.deb 12-Sep-2014 17:12 14M acl2_6.5-2_i386.deb 09-Sep-2014 04:44 13M acl2_6.5.orig-books.tar.gz 17-Aug-2014 22:21 14M acl2_6.5.orig.tar.gz 17-Aug-2014 22:21 6M acl2_7.2dfsg-3.debian.tar.xz 17-Oct-2016 21:35 199K acl2_7.2dfsg-3.dsc 17-Oct-2016 21:35 2231 acl2_7.2dfsg-3_amd64.deb 17-Oct-2016 21:35 17M acl2_7.2dfsg-3_arm64.deb 18-Oct-2016 12:59 15M acl2_7.2dfsg-3_armel.deb 19-Oct-2016 12:29 14M acl2_7.2dfsg-3_armhf.deb 19-Oct-2016 08:33 14M acl2_7.2dfsg-3_i386.deb 18-Oct-2016 06:35 15M acl2_7.2dfsg-3_mips.deb 18-Oct-2016 22:12 15M acl2_7.2dfsg-3_mips64el.deb 20-Oct-2016 07:31 15M acl2_7.2dfsg-3_mipsel.deb 19-Oct-2016 21:45 15M acl2_7.2dfsg-3_ppc64el.deb 18-Oct-2016 05:34 16M acl2_7.2dfsg-3_s390x.deb 18-Oct-2016 14:30 15M acl2_7.2dfsg.orig.tar.gz 14-Apr-2016 20:54 61M acl2_8.0dfsg-1+b1_armel.deb 14-Feb-2019 20:00 16M acl2_8.0dfsg-1.debian.tar.xz 13-Jan-2018 20:52 200K acl2_8.0dfsg-1.dsc 13-Jan-2018 20:52 2245 acl2_8.0dfsg-1_amd64.deb 13-Jan-2018 20:52 19M acl2_8.0dfsg-1_arm64.deb 14-Jan-2018 09:47 17M acl2_8.0dfsg-1_armhf.deb 15-Jan-2018 15:46 15M acl2_8.0dfsg-1_i386.deb 14-Jan-2018 04:26 16M acl2_8.0dfsg-1_mips.deb 16-Jan-2018 13:15 17M acl2_8.0dfsg-1_mips64el.deb 16-Jan-2018 10:44 16M acl2_8.0dfsg-1_mipsel.deb 16-Jan-2018 12:14 17M acl2_8.0dfsg-1_ppc64el.deb 14-Jan-2018 03:26 19M acl2_8.0dfsg-1_s390x.deb 14-Jan-2018 03:41 17M acl2_8.0dfsg.orig.tar.gz 13-Jan-2018 20:52 74M acl2_8.3dfsg-2.debian.tar.xz 27-Jan-2021 21:34 223K acl2_8.3dfsg-2.dsc 27-Jan-2021 21:34 2275 acl2_8.3dfsg-2_amd64.deb 28-Jan-2021 04:57 20M acl2_8.3dfsg-2_arm64.deb 28-Jan-2021 22:43 19M acl2_8.3dfsg-2_armel.deb 28-Jan-2021 14:13 18M acl2_8.3dfsg-2_armhf.deb 28-Jan-2021 13:42 18M acl2_8.3dfsg-2_i386.deb 28-Jan-2021 05:22 19M acl2_8.3dfsg-2_mips64el.deb 31-Jan-2021 02:12 18M acl2_8.3dfsg-2_mipsel.deb 29-Jan-2021 16:42 19M acl2_8.3dfsg-2_ppc64el.deb 28-Jan-2021 06:44 22M acl2_8.3dfsg-2_s390x.deb 28-Jan-2021 09:35 20M acl2_8.3dfsg.orig.tar.gz 24-Aug-2020 09:39 112M acl2_8.5dfsg-1.debian.tar.xz 27-Jul-2022 21:13 305K acl2_8.5dfsg-1.dsc 27-Jul-2022 21:13 2281 acl2_8.5dfsg-2.debian.tar.xz 22-Dec-2022 15:09 306K acl2_8.5dfsg-2.dsc 22-Dec-2022 15:09 2268 acl2_8.5dfsg-2_amd64.deb 23-Dec-2022 06:13 22M acl2_8.5dfsg-2_arm64.deb 25-Dec-2022 08:59 20M acl2_8.5dfsg-2_armel.deb 24-Dec-2022 00:10 18M acl2_8.5dfsg-2_armhf.deb 23-Dec-2022 21:48 19M acl2_8.5dfsg-2_i386.deb 23-Dec-2022 04:04 19M acl2_8.5dfsg-2_mips64el.deb 26-Dec-2022 17:47 20M acl2_8.5dfsg-2_mipsel.deb 29-Dec-2022 18:32 20M acl2_8.5dfsg-2_ppc64el.deb 23-Dec-2022 11:12 22M acl2_8.5dfsg-2_s390x.deb 23-Dec-2022 18:41 21M acl2_8.5dfsg-3.debian.tar.xz 30-Dec-2022 21:25 306K acl2_8.5dfsg-3.dsc 30-Dec-2022 21:25 2268 acl2_8.5dfsg-3_amd64.deb 31-Dec-2022 11:56 22M acl2_8.5dfsg-3_arm64.deb 01-Jan-2023 06:12 20M acl2_8.5dfsg-3_armel.deb 01-Jan-2023 10:33 18M acl2_8.5dfsg-3_armhf.deb 01-Jan-2023 22:13 19M acl2_8.5dfsg-3_i386.deb 31-Dec-2022 11:26 20M acl2_8.5dfsg-3_mips64el.deb 06-Jan-2023 15:13 20M acl2_8.5dfsg-3_mipsel.deb 05-Jan-2023 13:30 19M acl2_8.5dfsg-3_ppc64el.deb 31-Dec-2022 16:12 22M acl2_8.5dfsg-3_s390x.deb 31-Dec-2022 18:04 21M acl2_8.5dfsg-4.debian.tar.xz 14-Jan-2023 07:19 306K acl2_8.5dfsg-4.dsc 14-Jan-2023 07:19 2268 acl2_8.5dfsg-5.debian.tar.xz 16-Jan-2023 09:00 306K acl2_8.5dfsg-5.dsc 16-Jan-2023 09:00 2268 acl2_8.5dfsg-5_amd64.deb 17-Jan-2023 03:15 22M acl2_8.5dfsg-5_arm64.deb 18-Jan-2023 04:13 21M acl2_8.5dfsg-5_armel.deb 18-Jan-2023 02:26 18M acl2_8.5dfsg-5_armhf.deb 17-Jan-2023 18:32 19M acl2_8.5dfsg-5_i386.deb 16-Jan-2023 22:16 19M acl2_8.5dfsg-5_mips64el.deb 23-Jan-2023 19:58 20M acl2_8.5dfsg-5_mipsel.deb 22-Jan-2023 07:30 19M acl2_8.5dfsg-5_ppc64el.deb 19-Jan-2023 03:10 22M acl2_8.5dfsg-5_s390x.deb 16-Jan-2023 21:30 21M acl2_8.5dfsg.orig.tar.gz 27-Jul-2022 21:13 213M elpa-acl2_8.5dfsg-2_all.deb 23-Dec-2022 03:13 69K elpa-acl2_8.5dfsg-3_all.deb 31-Dec-2022 10:25 69K elpa-acl2_8.5dfsg-5_all.deb 16-Jan-2023 21:55 69K