Index of /ubuntu-ports/ppc64el/pool/universe/a/acl2

Icon  Name                                      Last modified      Size  
[PARENTDIR] Parent Directory                                               -   
[   ] acl2-books-certs_6.3-5_all.deb            2013-10-24 11:36   11M  
[   ] acl2-books-certs_7.1-1_all.deb            2015-06-27 08:48   13M  
[   ] acl2-books-certs_8.0dfsg-1_all.deb        2018-01-13 21:08   70M  
[   ] acl2-books-certs_8.2dfsg-3build1_all.deb  2020-03-23 08:24   66M  
[   ] acl2-books-certs_8.4dfsg-2_all.deb        2021-12-18 19:10  221M  
[   ] acl2-books-certs_8.5dfsg-5build3_all.deb  2024-04-02 03:03  216M  
[   ] acl2-books-certs_8.5dfsg-6_all.deb        2024-07-28 23:20   79M  
[   ] acl2-books-certs_8.6+dfsg-3_all.deb       2025-05-15 02:30  268M  
[   ] acl2-books-source_6.3-5_all.deb           2013-10-24 11:36  9.1M  
[   ] acl2-books-source_7.1-1_all.deb           2015-06-27 08:48  9.9M  
[   ] acl2-books-source_8.0dfsg-1_all.deb       2018-01-13 21:08   12M  
[   ] acl2-books-source_8.2dfsg-3build1_all.deb 2020-03-23 08:24   14M  
[   ] acl2-books-source_8.4dfsg-2_all.deb       2021-12-18 19:10   21M  
[   ] acl2-books-source_8.5dfsg-5build3_all.deb 2024-04-02 03:02   23M  
[   ] acl2-books-source_8.5dfsg-6_all.deb       2024-07-28 23:20   23M  
[   ] acl2-books-source_8.6+dfsg-3_all.deb      2025-05-15 02:30   26M  
[   ] acl2-books_6.3-5_armhf.deb                2013-10-22 23:44  108M  
[   ] acl2-books_6.3-5_powerpc.deb              2013-10-22 13:49   38M  
[   ] acl2-books_7.1-1_arm64.deb                2015-06-02 09:43   19M  
[   ] acl2-books_7.1-1_armhf.deb                2015-06-02 07:58   60M  
[   ] acl2-books_7.1-1_powerpc.deb              2015-06-02 00:48   15M  
[   ] acl2-books_8.0dfsg-1_arm64.deb            2018-01-21 21:23  135M  
[   ] acl2-books_8.0dfsg-1_armhf.deb            2018-01-21 17:13  116M  
[   ] acl2-books_8.0dfsg-1_ppc64el.deb          2018-01-31 08:58  135M  
[   ] acl2-books_8.0dfsg-1_s390x.deb            2018-01-23 15:18  122M  
[   ] acl2-books_8.2dfsg-3build1_arm64.deb      2020-03-24 03:48  161M  
[   ] acl2-books_8.2dfsg-3build1_armhf.deb      2020-03-24 03:18  151M  
[   ] acl2-books_8.2dfsg-3build1_ppc64el.deb    2020-03-23 10:18  170M  
[   ] acl2-books_8.2dfsg-3build1_s390x.deb      2020-03-23 07:14  148M  
[   ] acl2-books_8.4dfsg-2_arm64.deb            2021-12-26 01:08  335M  
[   ] acl2-books_8.4dfsg-2_armhf.deb            2021-12-25 23:49  321M  
[   ] acl2-books_8.4dfsg-2_ppc64el.deb          2021-12-25 13:23  352M  
[   ] acl2-books_8.4dfsg-2_s390x.deb            2021-12-18 11:36  326M  
[   ] acl2-books_8.5dfsg-5build3_arm64.deb      2024-04-11 10:38  337M  
[   ] acl2-books_8.5dfsg-5build3_armhf.deb      2024-04-03 10:40  318M  
[   ] acl2-books_8.5dfsg-5build3_ppc64el.deb    2024-04-02 08:19  350M  
[   ] acl2-books_8.5dfsg-5build3_riscv64.deb    2024-04-07 18:42  1.0G  
[   ] acl2-books_8.5dfsg-5build3_s390x.deb      2024-04-02 00:59  331M  
[   ] acl2-books_8.5dfsg-6_arm64.deb            2024-07-29 02:11  169M  
[   ] acl2-books_8.5dfsg-6_armhf.deb            2024-07-29 03:18  162M  
[   ] acl2-books_8.5dfsg-6_ppc64el.deb          2024-07-29 01:11  183M  
[   ] acl2-books_8.5dfsg-6_riscv64.deb          2024-07-31 14:50  507M  
[   ] acl2-books_8.5dfsg-6_s390x.deb            2024-07-28 23:20  169M  
[   ] acl2-books_8.6+dfsg-3_arm64.deb           2025-05-15 03:55  470M  
[   ] acl2-books_8.6+dfsg-3_armhf.deb           2025-05-19 14:24  444M  
[   ] acl2-books_8.6+dfsg-3_ppc64el.deb         2025-05-15 05:20  499M  
[   ] acl2-books_8.6+dfsg-3_riscv64.deb         2025-05-19 02:22  1.2G  
[   ] acl2-books_8.6+dfsg-3_s390x.deb           2025-05-14 22:38  477M  
[   ] acl2-doc_6.3-5_all.deb                    2013-10-24 11:36   12M  
[   ] acl2-doc_7.1-1_all.deb                    2015-06-27 08:48  353K  
[   ] acl2-doc_8.0dfsg-1_all.deb                2018-01-13 21:08  385K  
[   ] acl2-doc_8.2dfsg-3build1_all.deb          2020-03-23 08:24  418K  
[   ] acl2-doc_8.4dfsg-2_all.deb                2021-12-18 19:09  441K  
[   ] acl2-doc_8.5dfsg-5build3_all.deb          2024-04-02 03:02  474K  
[   ] acl2-doc_8.5dfsg-6_all.deb                2024-07-28 23:20  474K  
[   ] acl2-doc_8.6+dfsg-3_all.deb               2025-05-15 02:30  516K  
[   ] acl2-emacs_6.3-5_all.deb                  2013-10-24 11:36   55K  
[   ] acl2-emacs_7.1-1_all.deb                  2015-06-27 08:48   55K  
[   ] acl2-emacs_8.0dfsg-1_all.deb              2018-01-13 21:08   59K  
[   ] acl2-emacs_8.2dfsg-3build1_all.deb        2020-03-23 08:24   59K  
[   ] acl2-infix-source_6.3-5_all.deb           2013-10-24 11:36   86K  
[   ] acl2-infix-source_7.1-1_all.deb           2015-06-27 08:48   70K  
[   ] acl2-infix-source_8.0dfsg-1_all.deb       2018-01-13 21:08   70K  
[   ] acl2-infix-source_8.2dfsg-3build1_all.deb 2020-03-23 08:24   70K  
[   ] acl2-infix-source_8.4dfsg-2_all.deb       2021-12-18 19:10   72K  
[   ] acl2-infix-source_8.5dfsg-5build3_all.deb 2024-04-02 03:02   72K  
[   ] acl2-infix-source_8.5dfsg-6_all.deb       2024-07-28 23:20   72K  
[   ] acl2-infix-source_8.6+dfsg-3_all.deb      2025-05-15 02:30   73K  
[   ] acl2-infix_6.3-5_armhf.deb                2013-10-22 23:44  574K  
[   ] acl2-infix_6.3-5_powerpc.deb              2013-10-22 13:49  212K  
[   ] acl2-infix_7.1-1_arm64.deb                2015-06-02 09:43  147K  
[   ] acl2-infix_7.1-1_armhf.deb                2015-06-02 07:58  423K  
[   ] acl2-infix_7.1-1_powerpc.deb              2015-06-02 00:48  133K  
[   ] acl2-infix_8.0dfsg-1_arm64.deb            2018-01-21 21:23  421K  
[   ] acl2-infix_8.0dfsg-1_armhf.deb            2018-01-21 17:13  400K  
[   ] acl2-infix_8.0dfsg-1_ppc64el.deb          2018-01-31 08:57  464K  
[   ] acl2-infix_8.0dfsg-1_s390x.deb            2018-01-23 15:18  378K  
[   ] acl2-infix_8.2dfsg-3build1_arm64.deb      2020-03-24 03:48  461K  
[   ] acl2-infix_8.2dfsg-3build1_armhf.deb      2020-03-24 03:18  447K  
[   ] acl2-infix_8.2dfsg-3build1_ppc64el.deb    2020-03-23 10:18  486K  
[   ] acl2-infix_8.2dfsg-3build1_s390x.deb      2020-03-23 07:14  435K  
[   ] acl2-infix_8.4dfsg-2_arm64.deb            2021-12-26 01:08  559K  
[   ] acl2-infix_8.4dfsg-2_armhf.deb            2021-12-25 23:49  551K  
[   ] acl2-infix_8.4dfsg-2_ppc64el.deb          2021-12-25 13:23  604K  
[   ] acl2-infix_8.4dfsg-2_s390x.deb            2021-12-18 11:36  554K  
[   ] acl2-infix_8.5dfsg-5build3_arm64.deb      2024-04-11 10:38  542K  
[   ] acl2-infix_8.5dfsg-5build3_armhf.deb      2024-04-03 10:40  542K  
[   ] acl2-infix_8.5dfsg-5build3_ppc64el.deb    2024-04-02 08:19  594K  
[   ] acl2-infix_8.5dfsg-5build3_riscv64.deb    2024-04-07 18:42  1.5M  
[   ] acl2-infix_8.5dfsg-5build3_s390x.deb      2024-04-02 00:59  541K  
[   ] acl2-infix_8.5dfsg-6_arm64.deb            2024-07-29 02:11  533K  
[   ] acl2-infix_8.5dfsg-6_armhf.deb            2024-07-29 03:18  542K  
[   ] acl2-infix_8.5dfsg-6_ppc64el.deb          2024-07-29 01:11  591K  
[   ] acl2-infix_8.5dfsg-6_riscv64.deb          2024-07-31 14:50  1.4M  
[   ] acl2-infix_8.5dfsg-6_s390x.deb            2024-07-28 23:20  532K  
[   ] acl2-infix_8.6+dfsg-3_arm64.deb           2025-05-15 03:55  969K  
[   ] acl2-infix_8.6+dfsg-3_armhf.deb           2025-05-19 14:24  965K  
[   ] acl2-infix_8.6+dfsg-3_ppc64el.deb         2025-05-15 05:20  1.0M  
[   ] acl2-infix_8.6+dfsg-3_riscv64.deb         2025-05-19 02:22  2.5M  
[   ] acl2-infix_8.6+dfsg-3_s390x.deb           2025-05-14 22:38  1.0M  
[   ] acl2-source_6.3-5_all.deb                 2013-10-24 11:36  3.6M  
[   ] acl2-source_7.1-1_all.deb                 2015-06-27 08:48  2.7M  
[   ] acl2-source_8.0dfsg-1_all.deb             2018-01-13 21:08  2.9M  
[   ] acl2-source_8.2dfsg-3build1_all.deb       2020-03-23 08:24  3.1M  
[   ] acl2-source_8.4dfsg-2_all.deb             2021-12-18 19:10  3.4M  
[   ] acl2-source_8.5dfsg-5build3_all.deb       2024-04-02 03:02  3.5M  
[   ] acl2-source_8.5dfsg-6_all.deb             2024-07-28 23:20  3.5M  
[   ] acl2-source_8.6+dfsg-3_all.deb            2025-05-15 02:30  3.9M  
[   ] acl2_6.3-5.debian.tar.gz                  2013-10-21 08:09  158K  
[TXT] acl2_6.3-5.dsc                            2013-10-21 08:09  1.7K  
[   ] acl2_6.3-5_armhf.deb                      2013-10-22 23:44   23M  
[   ] acl2_6.3-5_powerpc.deb                    2013-10-22 13:49   25M  
[   ] acl2_6.3.orig-books.tar.gz                2013-10-21 08:09   13M  
[   ] acl2_6.3.orig.tar.gz                      2013-10-21 08:09  6.7M  
[   ] acl2_7.1-1.debian.tar.xz                  2015-06-01 18:24  126K  
[TXT] acl2_7.1-1.dsc                            2015-06-01 18:24  2.2K  
[   ] acl2_7.1-1_arm64.deb                      2015-06-02 09:43   15M  
[   ] acl2_7.1-1_armhf.deb                      2015-06-02 07:58   15M  
[   ] acl2_7.1-1_powerpc.deb                    2015-06-02 00:48   13M  
[   ] acl2_7.1.orig.tar.gz                      2015-06-01 18:24   60M  
[   ] acl2_8.0dfsg-1.debian.tar.xz              2018-01-13 17:08  200K  
[TXT] acl2_8.0dfsg-1.dsc                        2018-01-13 17:08  2.2K  
[   ] acl2_8.0dfsg-1_arm64.deb                  2018-01-21 21:23   17M  
[   ] acl2_8.0dfsg-1_armhf.deb                  2018-01-21 17:13   15M  
[   ] acl2_8.0dfsg-1_ppc64el.deb                2018-01-31 08:58   19M  
[   ] acl2_8.0dfsg-1_s390x.deb                  2018-01-23 15:18   18M  
[   ] acl2_8.0dfsg.orig.tar.gz                  2018-01-13 17:08   74M  
[   ] acl2_8.2dfsg-3build1.debian.tar.xz        2020-03-23 02:00  201K  
[TXT] acl2_8.2dfsg-3build1.dsc                  2020-03-23 02:00  2.2K  
[   ] acl2_8.2dfsg-3build1_arm64.deb            2020-03-24 03:48   19M  
[   ] acl2_8.2dfsg-3build1_armhf.deb            2020-03-24 03:18   18M  
[   ] acl2_8.2dfsg-3build1_ppc64el.deb          2020-03-23 10:18   21M  
[   ] acl2_8.2dfsg-3build1_s390x.deb            2020-03-23 07:14   20M  
[   ] acl2_8.2dfsg.orig.tar.gz                  2019-12-19 17:13   77M  
[   ] acl2_8.4dfsg-2.debian.tar.xz              2021-11-01 18:24  304K  
[TXT] acl2_8.4dfsg-2.dsc                        2021-11-01 18:24  2.2K  
[   ] acl2_8.4dfsg-2_arm64.deb                  2021-12-26 01:08   24M  
[   ] acl2_8.4dfsg-2_armhf.deb                  2021-12-25 23:49   21M  
[   ] acl2_8.4dfsg-2_ppc64el.deb                2021-12-25 13:23   25M  
[   ] acl2_8.4dfsg-2_s390x.deb                  2021-12-18 11:36   25M  
[   ] acl2_8.4dfsg.orig.tar.gz                  2021-10-28 18:18  194M  
[   ] acl2_8.5dfsg-5build3.debian.tar.xz        2024-04-01 00:43  306K  
[TXT] acl2_8.5dfsg-5build3.dsc                  2024-04-01 00:43  2.3K  
[   ] acl2_8.5dfsg-5build3_arm64.deb            2024-04-11 10:38   24M  
[   ] acl2_8.5dfsg-5build3_armhf.deb            2024-04-03 10:40   21M  
[   ] acl2_8.5dfsg-5build3_ppc64el.deb          2024-04-02 08:19   26M  
[   ] acl2_8.5dfsg-5build3_riscv64.deb          2024-04-07 18:42   25M  
[   ] acl2_8.5dfsg-5build3_s390x.deb            2024-04-02 00:59   27M  
[   ] acl2_8.5dfsg-6.debian.tar.xz              2024-07-28 18:59  306K  
[TXT] acl2_8.5dfsg-6.dsc                        2024-07-28 18:59  2.2K  
[   ] acl2_8.5dfsg-6_arm64.deb                  2024-07-29 02:11   24M  
[   ] acl2_8.5dfsg-6_armhf.deb                  2024-07-29 03:18   21M  
[   ] acl2_8.5dfsg-6_ppc64el.deb                2024-07-29 01:11   26M  
[   ] acl2_8.5dfsg-6_riscv64.deb                2024-07-31 14:50   24M  
[   ] acl2_8.5dfsg-6_s390x.deb                  2024-07-28 23:20   27M  
[   ] acl2_8.5dfsg.orig.tar.gz                  2022-07-27 18:33  213M  
[   ] acl2_8.6+dfsg-3.debian.tar.xz             2025-05-14 19:36  695K  
[TXT] acl2_8.6+dfsg-3.dsc                       2025-05-14 19:35  2.2K  
[   ] acl2_8.6+dfsg-3_arm64.deb                 2025-05-15 03:55   45M  
[   ] acl2_8.6+dfsg-3_armhf.deb                 2025-05-19 14:24   54M  
[   ] acl2_8.6+dfsg-3_ppc64el.deb               2025-05-15 05:20   47M  
[   ] acl2_8.6+dfsg-3_riscv64.deb               2025-05-19 02:22   47M  
[   ] acl2_8.6+dfsg-3_s390x.deb                 2025-05-14 22:38   42M  
[   ] acl2_8.6+dfsg.orig.tar.gz                 2025-05-01 11:25  229M  
[   ] elpa-acl2_8.4dfsg-2_all.deb               2021-12-18 19:09   69K  
[   ] elpa-acl2_8.5dfsg-5build3_all.deb         2024-04-02 03:02   71K  
[   ] elpa-acl2_8.5dfsg-6_all.deb               2024-07-28 23:20   71K  
[   ] elpa-acl2_8.6+dfsg-3_all.deb              2025-05-15 02:30   79K