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