../ acl2-books-certs_6.3-5_all.deb 24-Oct-2013 16:36 11641112 acl2-books-certs_7.1-1_all.deb 27-Jun-2015 13:48 13191160 acl2-books-certs_8.0dfsg-1_all.deb 14-Jan-2018 03:08 73403184 acl2-books-certs_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 68979892 acl2-books-certs_8.4dfsg-2_all.deb 19-Dec-2021 01:10 231831222 acl2-books-certs_8.5dfsg-5build3_all.deb 02-Apr-2024 08:03 226234436 acl2-books-certs_8.5dfsg-6_all.deb 29-Jul-2024 04:20 82468930 acl2-books-source_6.3-5_all.deb 24-Oct-2013 16:36 9570222 acl2-books-source_7.1-1_all.deb 27-Jun-2015 13:48 10333152 acl2-books-source_8.0dfsg-1_all.deb 14-Jan-2018 03:08 12466104 acl2-books-source_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 14290112 acl2-books-source_8.4dfsg-2_all.deb 19-Dec-2021 01:10 22136204 acl2-books-source_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 23801362 acl2-books-source_8.5dfsg-6_all.deb 29-Jul-2024 04:20 23816010 acl2-books_6.3-5_armhf.deb 23-Oct-2013 04:44 113350618 acl2-books_6.3-5_powerpc.deb 22-Oct-2013 18:49 39502804 acl2-books_7.1-1_arm64.deb 02-Jun-2015 14:43 19583214 acl2-books_7.1-1_armhf.deb 02-Jun-2015 12:58 62421090 acl2-books_7.1-1_powerpc.deb 02-Jun-2015 05:48 16154534 acl2-books_8.0dfsg-1_arm64.deb 22-Jan-2018 03:23 141266400 acl2-books_8.0dfsg-1_armhf.deb 21-Jan-2018 23:13 121281400 acl2-books_8.0dfsg-1_ppc64el.deb 31-Jan-2018 14:58 141916160 acl2-books_8.0dfsg-1_s390x.deb 23-Jan-2018 21:18 127451660 acl2-books_8.2dfsg-3build1_arm64.deb 24-Mar-2020 08:48 169297064 acl2-books_8.2dfsg-3build1_armhf.deb 24-Mar-2020 08:18 158561012 acl2-books_8.2dfsg-3build1_ppc64el.deb 23-Mar-2020 15:18 177813260 acl2-books_8.2dfsg-3build1_s390x.deb 23-Mar-2020 12:14 155654272 acl2-books_8.4dfsg-2_arm64.deb 26-Dec-2021 07:08 351062826 acl2-books_8.4dfsg-2_armhf.deb 26-Dec-2021 05:49 336148864 acl2-books_8.4dfsg-2_ppc64el.deb 25-Dec-2021 19:23 369454152 acl2-books_8.4dfsg-2_s390x.deb 18-Dec-2021 17:36 341322284 acl2-books_8.5dfsg-5build3_arm64.deb 11-Apr-2024 15:38 353503934 acl2-books_8.5dfsg-5build3_armhf.deb 03-Apr-2024 15:40 333055736 acl2-books_8.5dfsg-5build3_ppc64el.deb 02-Apr-2024 13:19 367350708 acl2-books_8.5dfsg-5build3_riscv64.deb 07-Apr-2024 23:42 1111438758 acl2-books_8.5dfsg-5build3_s390x.deb 02-Apr-2024 05:59 346753896 acl2-books_8.5dfsg-6_arm64.deb 29-Jul-2024 07:11 177629860 acl2-books_8.5dfsg-6_armhf.deb 29-Jul-2024 08:18 169704228 acl2-books_8.5dfsg-6_ppc64el.deb 29-Jul-2024 06:11 191990812 acl2-books_8.5dfsg-6_riscv64.deb 31-Jul-2024 19:50 532059384 acl2-books_8.5dfsg-6_s390x.deb 29-Jul-2024 04:20 177149832 acl2-doc_6.3-5_all.deb 24-Oct-2013 16:36 12728778 acl2-doc_7.1-1_all.deb 27-Jun-2015 13:48 361780 acl2-doc_8.0dfsg-1_all.deb 14-Jan-2018 03:08 394360 acl2-doc_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 428100 acl2-doc_8.4dfsg-2_all.deb 19-Dec-2021 01:09 451656 acl2-doc_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 485308 acl2-doc_8.5dfsg-6_all.deb 29-Jul-2024 04:20 485170 acl2-emacs_6.3-5_all.deb 24-Oct-2013 16:36 56302 acl2-emacs_7.1-1_all.deb 27-Jun-2015 13:48 56524 acl2-emacs_8.0dfsg-1_all.deb 14-Jan-2018 03:08 60340 acl2-emacs_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 60520 acl2-infix-source_6.3-5_all.deb 24-Oct-2013 16:36 88034 acl2-infix-source_7.1-1_all.deb 27-Jun-2015 13:48 72020 acl2-infix-source_8.0dfsg-1_all.deb 14-Jan-2018 03:08 71888 acl2-infix-source_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 71920 acl2-infix-source_8.4dfsg-2_all.deb 19-Dec-2021 01:10 73680 acl2-infix-source_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 74148 acl2-infix-source_8.5dfsg-6_all.deb 29-Jul-2024 04:20 74020 acl2-infix_6.3-5_armhf.deb 23-Oct-2013 04:44 587300 acl2-infix_6.3-5_powerpc.deb 22-Oct-2013 18:49 217146 acl2-infix_7.1-1_arm64.deb 02-Jun-2015 14:43 151024 acl2-infix_7.1-1_armhf.deb 02-Jun-2015 12:58 433376 acl2-infix_7.1-1_powerpc.deb 02-Jun-2015 05:48 135934 acl2-infix_8.0dfsg-1_arm64.deb 22-Jan-2018 03:23 430600 acl2-infix_8.0dfsg-1_armhf.deb 21-Jan-2018 23:13 409780 acl2-infix_8.0dfsg-1_ppc64el.deb 31-Jan-2018 14:57 475384 acl2-infix_8.0dfsg-1_s390x.deb 23-Jan-2018 21:18 387040 acl2-infix_8.2dfsg-3build1_arm64.deb 24-Mar-2020 08:48 471912 acl2-infix_8.2dfsg-3build1_armhf.deb 24-Mar-2020 08:18 457852 acl2-infix_8.2dfsg-3build1_ppc64el.deb 23-Mar-2020 15:18 497296 acl2-infix_8.2dfsg-3build1_s390x.deb 23-Mar-2020 12:14 444988 acl2-infix_8.4dfsg-2_arm64.deb 26-Dec-2021 07:08 572608 acl2-infix_8.4dfsg-2_armhf.deb 26-Dec-2021 05:49 564612 acl2-infix_8.4dfsg-2_ppc64el.deb 25-Dec-2021 19:23 618604 acl2-infix_8.4dfsg-2_s390x.deb 18-Dec-2021 17:36 567224 acl2-infix_8.5dfsg-5build3_arm64.deb 11-Apr-2024 15:38 554498 acl2-infix_8.5dfsg-5build3_armhf.deb 03-Apr-2024 15:40 554580 acl2-infix_8.5dfsg-5build3_ppc64el.deb 02-Apr-2024 13:19 608670 acl2-infix_8.5dfsg-5build3_riscv64.deb 07-Apr-2024 23:42 1525628 acl2-infix_8.5dfsg-5build3_s390x.deb 02-Apr-2024 05:59 553874 acl2-infix_8.5dfsg-6_arm64.deb 29-Jul-2024 07:11 546228 acl2-infix_8.5dfsg-6_armhf.deb 29-Jul-2024 08:18 554572 acl2-infix_8.5dfsg-6_ppc64el.deb 29-Jul-2024 06:11 604816 acl2-infix_8.5dfsg-6_riscv64.deb 31-Jul-2024 19:50 1456078 acl2-infix_8.5dfsg-6_s390x.deb 29-Jul-2024 04:20 544508 acl2-source_6.3-5_all.deb 24-Oct-2013 16:36 3795138 acl2-source_7.1-1_all.deb 27-Jun-2015 13:48 2838230 acl2-source_8.0dfsg-1_all.deb 14-Jan-2018 03:08 3074488 acl2-source_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 3268812 acl2-source_8.4dfsg-2_all.deb 19-Dec-2021 01:10 3536828 acl2-source_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 3652452 acl2-source_8.5dfsg-6_all.deb 29-Jul-2024 04:20 3645750 acl2_6.3-5.debian.tar.gz 21-Oct-2013 13:09 161480 acl2_6.3-5.dsc 21-Oct-2013 13:09 1749 acl2_6.3-5_armhf.deb 23-Oct-2013 04:44 24228232 acl2_6.3-5_powerpc.deb 22-Oct-2013 18:49 25890470 acl2_6.3.orig-books.tar.gz 21-Oct-2013 13:09 13598991 acl2_6.3.orig.tar.gz 21-Oct-2013 13:09 7068895 acl2_7.1-1.debian.tar.xz 01-Jun-2015 23:24 128900 acl2_7.1-1.dsc 01-Jun-2015 23:24 2203 acl2_7.1-1_arm64.deb 02-Jun-2015 14:43 15646510 acl2_7.1-1_armhf.deb 02-Jun-2015 12:58 16136508 acl2_7.1-1_powerpc.deb 02-Jun-2015 05:48 14098382 acl2_7.1.orig.tar.gz 01-Jun-2015 23:24 63342334 acl2_8.0dfsg-1.debian.tar.xz 13-Jan-2018 23:08 204760 acl2_8.0dfsg-1.dsc 13-Jan-2018 23:08 2245 acl2_8.0dfsg-1_arm64.deb 22-Jan-2018 03:23 17735608 acl2_8.0dfsg-1_armhf.deb 21-Jan-2018 23:13 16180312 acl2_8.0dfsg-1_ppc64el.deb 31-Jan-2018 14:58 19553148 acl2_8.0dfsg-1_s390x.deb 23-Jan-2018 21:18 18695628 acl2_8.0dfsg.orig.tar.gz 13-Jan-2018 23:08 77635571 acl2_8.2dfsg-3build1.debian.tar.xz 23-Mar-2020 07:00 206024 acl2_8.2dfsg-3build1.dsc 23-Mar-2020 07:00 2296 acl2_8.2dfsg-3build1_arm64.deb 24-Mar-2020 08:48 20342888 acl2_8.2dfsg-3build1_armhf.deb 24-Mar-2020 08:18 18614872 acl2_8.2dfsg-3build1_ppc64el.deb 23-Mar-2020 15:18 21898060 acl2_8.2dfsg-3build1_s390x.deb 23-Mar-2020 12:14 21104780 acl2_8.2dfsg.orig.tar.gz 19-Dec-2019 23:13 80652725 acl2_8.4dfsg-2.debian.tar.xz 01-Nov-2021 23:24 311628 acl2_8.4dfsg-2.dsc 01-Nov-2021 23:24 2281 acl2_8.4dfsg-2_arm64.deb 26-Dec-2021 07:08 25090910 acl2_8.4dfsg-2_armhf.deb 26-Dec-2021 05:49 22325788 acl2_8.4dfsg-2_ppc64el.deb 25-Dec-2021 19:23 26386578 acl2_8.4dfsg-2_s390x.deb 18-Dec-2021 17:36 25975290 acl2_8.4dfsg.orig.tar.gz 28-Oct-2021 23:18 202991839 acl2_8.5dfsg-5build3.debian.tar.xz 01-Apr-2024 05:43 313036 acl2_8.5dfsg-5build3.dsc 01-Apr-2024 05:43 2371 acl2_8.5dfsg-5build3_arm64.deb 11-Apr-2024 15:38 25345322 acl2_8.5dfsg-5build3_armhf.deb 03-Apr-2024 15:40 22419416 acl2_8.5dfsg-5build3_ppc64el.deb 02-Apr-2024 13:19 27282214 acl2_8.5dfsg-5build3_riscv64.deb 07-Apr-2024 23:42 26318146 acl2_8.5dfsg-5build3_s390x.deb 02-Apr-2024 05:59 28503504 acl2_8.5dfsg-6.debian.tar.xz 28-Jul-2024 23:59 312848 acl2_8.5dfsg-6.dsc 28-Jul-2024 23:59 2268 acl2_8.5dfsg-6_arm64.deb 29-Jul-2024 07:11 25459098 acl2_8.5dfsg-6_armhf.deb 29-Jul-2024 08:18 22133522 acl2_8.5dfsg-6_ppc64el.deb 29-Jul-2024 06:11 26946728 acl2_8.5dfsg-6_riscv64.deb 31-Jul-2024 19:50 25474854 acl2_8.5dfsg-6_s390x.deb 29-Jul-2024 04:20 28049708 acl2_8.5dfsg.orig.tar.gz 27-Jul-2022 23:33 223546594 elpa-acl2_8.4dfsg-2_all.deb 19-Dec-2021 01:09 70790 elpa-acl2_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 72432 elpa-acl2_8.5dfsg-6_all.deb 29-Jul-2024 04:20 72514