Index of /ubuntu-ports/pool/universe/a/acl2/
../ acl2-books-certs_6.3-5_all.deb 24-Oct-2013 23:36 11M acl2-books-certs_7.1-1_all.deb 27-Jun-2015 20:48 13M acl2-books-certs_8.0dfsg-1_all.deb 14-Jan-2018 10:08 70M acl2-books-certs_8.2dfsg-3build1_all.deb 23-Mar-2020 20:24 66M acl2-books-certs_8.4dfsg-2_all.deb 19-Dec-2021 08:10 221M acl2-books-certs_8.5dfsg-1_all.deb 28-Jul-2022 16:29 220M acl2-books-certs_8.5dfsg-3_all.deb 31-Dec-2022 14:53 216M acl2-books-certs_8.5dfsg-4_all.deb 14-Jan-2023 23:49 216M acl2-books-certs_8.5dfsg-5_all.deb 17-Jan-2023 09:29 216M acl2-books-source_6.3-5_all.deb 24-Oct-2013 23:36 9M acl2-books-source_7.1-1_all.deb 27-Jun-2015 20:48 10M acl2-books-source_8.0dfsg-1_all.deb 14-Jan-2018 10:08 12M acl2-books-source_8.2dfsg-3build1_all.deb 23-Mar-2020 20:24 14M acl2-books-source_8.4dfsg-2_all.deb 19-Dec-2021 08:10 21M acl2-books-source_8.5dfsg-1_all.deb 28-Jul-2022 16:29 23M acl2-books-source_8.5dfsg-3_all.deb 31-Dec-2022 14:53 23M acl2-books-source_8.5dfsg-4_all.deb 14-Jan-2023 23:49 23M acl2-books-source_8.5dfsg-5_all.deb 17-Jan-2023 09:29 23M acl2-books_6.3-5_armhf.deb 23-Oct-2013 11:44 108M acl2-books_6.3-5_powerpc.deb 23-Oct-2013 01:49 38M acl2-books_7.1-1_arm64.deb 02-Jun-2015 21:43 19M acl2-books_7.1-1_armhf.deb 02-Jun-2015 19:58 60M acl2-books_7.1-1_powerpc.deb 02-Jun-2015 12:48 15M acl2-books_8.0dfsg-1_arm64.deb 22-Jan-2018 10:23 135M acl2-books_8.0dfsg-1_armhf.deb 22-Jan-2018 06:13 116M acl2-books_8.0dfsg-1_ppc64el.deb 31-Jan-2018 21:58 135M acl2-books_8.0dfsg-1_s390x.deb 24-Jan-2018 04:18 122M acl2-books_8.2dfsg-3build1_arm64.deb 24-Mar-2020 15:48 161M acl2-books_8.2dfsg-3build1_armhf.deb 24-Mar-2020 15:18 151M acl2-books_8.2dfsg-3build1_ppc64el.deb 23-Mar-2020 22:18 170M acl2-books_8.2dfsg-3build1_s390x.deb 23-Mar-2020 19:14 148M acl2-books_8.4dfsg-2_arm64.deb 26-Dec-2021 14:08 335M acl2-books_8.4dfsg-2_armhf.deb 26-Dec-2021 12:49 321M acl2-books_8.4dfsg-2_ppc64el.deb 26-Dec-2021 02:23 352M acl2-books_8.4dfsg-2_s390x.deb 19-Dec-2021 00:36 326M acl2-books_8.5dfsg-1_arm64.deb 02-Aug-2022 09:53 334M acl2-books_8.5dfsg-1_armhf.deb 01-Aug-2022 11:13 316M acl2-books_8.5dfsg-1_ppc64el.deb 28-Jul-2022 17:37 353M acl2-books_8.5dfsg-1_s390x.deb 28-Jul-2022 16:29 320M acl2-books_8.5dfsg-3_arm64.deb 01-Jan-2023 22:34 336M acl2-books_8.5dfsg-3_armhf.deb 01-Jan-2023 08:29 317M acl2-books_8.5dfsg-3_ppc64el.deb 31-Dec-2022 17:08 347M acl2-books_8.5dfsg-3_s390x.deb 31-Dec-2022 17:08 314M acl2-books_8.5dfsg-4_arm64.deb 15-Jan-2023 17:08 336M acl2-books_8.5dfsg-4_armhf.deb 15-Jan-2023 04:33 316M acl2-books_8.5dfsg-4_ppc64el.deb 15-Jan-2023 01:49 347M acl2-books_8.5dfsg-4_s390x.deb 15-Jan-2023 01:23 314M acl2-books_8.5dfsg-5_arm64.deb 18-Jan-2023 00:45 336M acl2-books_8.5dfsg-5_armhf.deb 17-Jan-2023 14:04 315M acl2-books_8.5dfsg-5_ppc64el.deb 17-Jan-2023 11:24 347M acl2-books_8.5dfsg-5_riscv64.deb 15-Feb-2023 15:04 935M acl2-books_8.5dfsg-5_s390x.deb 17-Jan-2023 11:24 314M acl2-doc_6.3-5_all.deb 24-Oct-2013 23:36 12M acl2-doc_7.1-1_all.deb 27-Jun-2015 20:48 353K acl2-doc_8.0dfsg-1_all.deb 14-Jan-2018 10:08 385K acl2-doc_8.2dfsg-3build1_all.deb 23-Mar-2020 20:24 418K acl2-doc_8.4dfsg-2_all.deb 19-Dec-2021 08:09 441K acl2-doc_8.5dfsg-1_all.deb 28-Jul-2022 16:29 473K acl2-doc_8.5dfsg-3_all.deb 31-Dec-2022 14:53 473K acl2-doc_8.5dfsg-4_all.deb 14-Jan-2023 23:49 473K acl2-doc_8.5dfsg-5_all.deb 17-Jan-2023 09:29 473K acl2-emacs_6.3-5_all.deb 24-Oct-2013 23:36 55K acl2-emacs_7.1-1_all.deb 27-Jun-2015 20:48 55K acl2-emacs_8.0dfsg-1_all.deb 14-Jan-2018 10:08 59K acl2-emacs_8.2dfsg-3build1_all.deb 23-Mar-2020 20:24 59K acl2-infix-source_6.3-5_all.deb 24-Oct-2013 23:36 86K acl2-infix-source_7.1-1_all.deb 27-Jun-2015 20:48 70K acl2-infix-source_8.0dfsg-1_all.deb 14-Jan-2018 10:08 70K acl2-infix-source_8.2dfsg-3build1_all.deb 23-Mar-2020 20:24 70K acl2-infix-source_8.4dfsg-2_all.deb 19-Dec-2021 08:10 72K acl2-infix-source_8.5dfsg-1_all.deb 28-Jul-2022 16:29 72K acl2-infix-source_8.5dfsg-3_all.deb 31-Dec-2022 14:53 72K acl2-infix-source_8.5dfsg-4_all.deb 14-Jan-2023 23:49 72K acl2-infix-source_8.5dfsg-5_all.deb 17-Jan-2023 09:29 72K acl2-infix_6.3-5_armhf.deb 23-Oct-2013 11:44 574K acl2-infix_6.3-5_powerpc.deb 23-Oct-2013 01:49 212K acl2-infix_7.1-1_arm64.deb 02-Jun-2015 21:43 147K acl2-infix_7.1-1_armhf.deb 02-Jun-2015 19:58 423K acl2-infix_7.1-1_powerpc.deb 02-Jun-2015 12:48 133K acl2-infix_8.0dfsg-1_arm64.deb 22-Jan-2018 10:23 421K acl2-infix_8.0dfsg-1_armhf.deb 22-Jan-2018 06:13 400K acl2-infix_8.0dfsg-1_ppc64el.deb 31-Jan-2018 21:57 464K acl2-infix_8.0dfsg-1_s390x.deb 24-Jan-2018 04:18 378K acl2-infix_8.2dfsg-3build1_arm64.deb 24-Mar-2020 15:48 461K acl2-infix_8.2dfsg-3build1_armhf.deb 24-Mar-2020 15:18 447K acl2-infix_8.2dfsg-3build1_ppc64el.deb 23-Mar-2020 22:18 486K acl2-infix_8.2dfsg-3build1_s390x.deb 23-Mar-2020 19:14 435K acl2-infix_8.4dfsg-2_arm64.deb 26-Dec-2021 14:08 559K acl2-infix_8.4dfsg-2_armhf.deb 26-Dec-2021 12:49 551K acl2-infix_8.4dfsg-2_ppc64el.deb 26-Dec-2021 02:23 604K acl2-infix_8.4dfsg-2_s390x.deb 19-Dec-2021 00:36 554K acl2-infix_8.5dfsg-1_arm64.deb 02-Aug-2022 09:53 540K acl2-infix_8.5dfsg-1_armhf.deb 01-Aug-2022 11:13 541K acl2-infix_8.5dfsg-1_ppc64el.deb 28-Jul-2022 17:37 577K acl2-infix_8.5dfsg-1_s390x.deb 28-Jul-2022 16:29 503K acl2-infix_8.5dfsg-3_arm64.deb 01-Jan-2023 22:34 539K acl2-infix_8.5dfsg-3_armhf.deb 01-Jan-2023 08:29 541K acl2-infix_8.5dfsg-3_ppc64el.deb 31-Dec-2022 17:08 577K acl2-infix_8.5dfsg-3_s390x.deb 31-Dec-2022 17:08 501K acl2-infix_8.5dfsg-4_arm64.deb 15-Jan-2023 17:08 539K acl2-infix_8.5dfsg-4_armhf.deb 15-Jan-2023 04:33 541K acl2-infix_8.5dfsg-4_ppc64el.deb 15-Jan-2023 01:49 577K acl2-infix_8.5dfsg-4_s390x.deb 15-Jan-2023 01:23 502K acl2-infix_8.5dfsg-5_arm64.deb 18-Jan-2023 00:45 539K acl2-infix_8.5dfsg-5_armhf.deb 17-Jan-2023 14:04 541K acl2-infix_8.5dfsg-5_ppc64el.deb 17-Jan-2023 11:24 577K acl2-infix_8.5dfsg-5_riscv64.deb 15-Feb-2023 15:04 1M acl2-infix_8.5dfsg-5_s390x.deb 17-Jan-2023 11:24 502K acl2-source_6.3-5_all.deb 24-Oct-2013 23:36 4M acl2-source_7.1-1_all.deb 27-Jun-2015 20:48 3M acl2-source_8.0dfsg-1_all.deb 14-Jan-2018 10:08 3M acl2-source_8.2dfsg-3build1_all.deb 23-Mar-2020 20:24 3M acl2-source_8.4dfsg-2_all.deb 19-Dec-2021 08:10 3M acl2-source_8.5dfsg-1_all.deb 28-Jul-2022 16:29 3M acl2-source_8.5dfsg-3_all.deb 31-Dec-2022 14:53 3M acl2-source_8.5dfsg-4_all.deb 14-Jan-2023 23:49 3M acl2-source_8.5dfsg-5_all.deb 17-Jan-2023 09:29 3M acl2_6.3-5.debian.tar.gz 21-Oct-2013 20:09 158K acl2_6.3-5.dsc 21-Oct-2013 20:09 1749 acl2_6.3-5_armhf.deb 23-Oct-2013 11:44 23M acl2_6.3-5_powerpc.deb 23-Oct-2013 01:49 25M acl2_6.3.orig-books.tar.gz 21-Oct-2013 20:09 13M acl2_6.3.orig.tar.gz 21-Oct-2013 20:09 7M acl2_7.1-1.debian.tar.xz 02-Jun-2015 06:24 126K acl2_7.1-1.dsc 02-Jun-2015 06:24 2203 acl2_7.1-1_arm64.deb 02-Jun-2015 21:43 15M acl2_7.1-1_armhf.deb 02-Jun-2015 19:58 15M acl2_7.1-1_powerpc.deb 02-Jun-2015 12:48 13M acl2_7.1.orig.tar.gz 02-Jun-2015 06:24 60M acl2_8.0dfsg-1.debian.tar.xz 14-Jan-2018 06:08 200K acl2_8.0dfsg-1.dsc 14-Jan-2018 06:08 2245 acl2_8.0dfsg-1_arm64.deb 22-Jan-2018 10:23 17M acl2_8.0dfsg-1_armhf.deb 22-Jan-2018 06:13 15M acl2_8.0dfsg-1_ppc64el.deb 31-Jan-2018 21:58 19M acl2_8.0dfsg-1_s390x.deb 24-Jan-2018 04:18 18M acl2_8.0dfsg.orig.tar.gz 14-Jan-2018 06:08 74M acl2_8.2dfsg-3build1.debian.tar.xz 23-Mar-2020 14:00 201K acl2_8.2dfsg-3build1.dsc 23-Mar-2020 14:00 2296 acl2_8.2dfsg-3build1_arm64.deb 24-Mar-2020 15:48 19M acl2_8.2dfsg-3build1_armhf.deb 24-Mar-2020 15:18 18M acl2_8.2dfsg-3build1_ppc64el.deb 23-Mar-2020 22:18 21M acl2_8.2dfsg-3build1_s390x.deb 23-Mar-2020 19:14 20M acl2_8.2dfsg.orig.tar.gz 20-Dec-2019 06:13 77M acl2_8.4dfsg-2.debian.tar.xz 02-Nov-2021 06:24 304K acl2_8.4dfsg-2.dsc 02-Nov-2021 06:24 2281 acl2_8.4dfsg-2_arm64.deb 26-Dec-2021 14:08 24M acl2_8.4dfsg-2_armhf.deb 26-Dec-2021 12:49 21M acl2_8.4dfsg-2_ppc64el.deb 26-Dec-2021 02:23 25M acl2_8.4dfsg-2_s390x.deb 19-Dec-2021 00:36 25M acl2_8.4dfsg.orig.tar.gz 29-Oct-2021 06:18 194M acl2_8.5dfsg-1.debian.tar.xz 28-Jul-2022 06:33 305K acl2_8.5dfsg-1.dsc 28-Jul-2022 06:33 2281 acl2_8.5dfsg-1_arm64.deb 02-Aug-2022 09:53 24M acl2_8.5dfsg-1_armhf.deb 01-Aug-2022 11:13 22M acl2_8.5dfsg-1_ppc64el.deb 28-Jul-2022 17:37 26M acl2_8.5dfsg-1_s390x.deb 28-Jul-2022 16:29 25M acl2_8.5dfsg-3.debian.tar.xz 31-Dec-2022 06:34 306K acl2_8.5dfsg-3.dsc 31-Dec-2022 06:34 2268 acl2_8.5dfsg-3_arm64.deb 01-Jan-2023 22:34 24M acl2_8.5dfsg-3_armhf.deb 01-Jan-2023 08:29 22M acl2_8.5dfsg-3_ppc64el.deb 31-Dec-2022 17:08 26M acl2_8.5dfsg-3_s390x.deb 31-Dec-2022 17:08 26M acl2_8.5dfsg-4.debian.tar.xz 14-Jan-2023 12:34 306K acl2_8.5dfsg-4.dsc 14-Jan-2023 12:34 2268 acl2_8.5dfsg-4_arm64.deb 15-Jan-2023 17:08 25M acl2_8.5dfsg-4_armhf.deb 15-Jan-2023 04:33 22M acl2_8.5dfsg-4_ppc64el.deb 15-Jan-2023 01:49 26M acl2_8.5dfsg-4_s390x.deb 15-Jan-2023 01:23 26M acl2_8.5dfsg-5.debian.tar.xz 17-Jan-2023 00:44 306K acl2_8.5dfsg-5.dsc 17-Jan-2023 00:44 2268 acl2_8.5dfsg-5_arm64.deb 18-Jan-2023 00:45 25M acl2_8.5dfsg-5_armhf.deb 17-Jan-2023 14:04 22M acl2_8.5dfsg-5_ppc64el.deb 17-Jan-2023 11:24 26M acl2_8.5dfsg-5_riscv64.deb 15-Feb-2023 15:04 24M acl2_8.5dfsg-5_s390x.deb 17-Jan-2023 11:24 25M acl2_8.5dfsg.orig.tar.gz 28-Jul-2022 06:33 213M elpa-acl2_8.4dfsg-2_all.deb 19-Dec-2021 08:09 69K elpa-acl2_8.5dfsg-1_all.deb 28-Jul-2022 16:29 70K elpa-acl2_8.5dfsg-3_all.deb 31-Dec-2022 14:53 70K elpa-acl2_8.5dfsg-4_all.deb 14-Jan-2023 23:49 70K elpa-acl2_8.5dfsg-5_all.deb 17-Jan-2023 09:29 70K