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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
acl2-books-certs_6.3-5_all.deb2013-Oct-25 00:36:2311.1Mapplication/vnd.debian.binary-package
acl2-books-certs_7.1-1_all.deb2015-Jun-27 21:48:3412.5Mapplication/vnd.debian.binary-package
acl2-books-certs_8.0dfsg-1_all.deb2018-Jan-14 11:08:1770.0Mapplication/vnd.debian.binary-package
acl2-books-certs_8.2dfsg-3build1_all.deb2020-Mar-23 21:24:0765.8Mapplication/vnd.debian.binary-package
acl2-books-certs_8.4dfsg-2_all.deb2021-Dec-19 09:10:18221.0Mapplication/vnd.debian.binary-package
acl2-books-certs_8.5dfsg-5_all.deb2023-Jan-17 10:29:02216.2Mapplication/vnd.debian.binary-package
acl2-books-certs_8.5dfsg-5build3_all.deb2024-Apr-02 16:03:00215.7Mapplication/vnd.debian.binary-package
acl2-books-certs_8.5dfsg-6_all.deb2024-Jul-29 12:20:2478.6Mapplication/vnd.debian.binary-package
acl2-books-source_6.3-5_all.deb2013-Oct-25 00:36:249.1Mapplication/vnd.debian.binary-package
acl2-books-source_7.1-1_all.deb2015-Jun-27 21:48:399.8Mapplication/vnd.debian.binary-package
acl2-books-source_8.0dfsg-1_all.deb2018-Jan-14 11:08:1611.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.2dfsg-3build1_all.deb2020-Mar-23 21:24:1013.6Mapplication/vnd.debian.binary-package
acl2-books-source_8.4dfsg-2_all.deb2021-Dec-19 09:10:2521.1Mapplication/vnd.debian.binary-package
acl2-books-source_8.5dfsg-5_all.deb2023-Jan-17 10:29:0322.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.5dfsg-5build3_all.deb2024-Apr-02 16:02:5822.7Mapplication/vnd.debian.binary-package
acl2-books-source_8.5dfsg-6_all.deb2024-Jul-29 12:20:2222.7Mapplication/vnd.debian.binary-package
acl2-books_6.3-5_armhf.deb2013-Oct-23 12:44:04108.1Mapplication/vnd.debian.binary-package
acl2-books_6.3-5_powerpc.deb2013-Oct-23 02:49:2037.6Mapplication/vnd.debian.binary-package
acl2-books_7.1-1_arm64.deb2015-Jun-02 22:43:3018.6Mapplication/vnd.debian.binary-package
acl2-books_7.1-1_armhf.deb2015-Jun-02 20:58:4159.5Mapplication/vnd.debian.binary-package
acl2-books_7.1-1_powerpc.deb2015-Jun-02 13:48:5715.4Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_arm64.deb2018-Jan-22 11:23:15134.7Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_armhf.deb2018-Jan-22 07:13:28115.6Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_ppc64el.deb2018-Jan-31 22:58:01135.3Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_s390x.deb2018-Jan-24 05:18:57121.5Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3build1_arm64.deb2020-Mar-24 16:48:21161.4Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3build1_armhf.deb2020-Mar-24 16:18:26151.2Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3build1_ppc64el.deb2020-Mar-23 23:18:31169.5Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3build1_s390x.deb2020-Mar-23 20:14:12148.4Mapplication/vnd.debian.binary-package
acl2-books_8.4dfsg-2_arm64.deb2021-Dec-26 15:08:55334.8Mapplication/vnd.debian.binary-package
acl2-books_8.4dfsg-2_armhf.deb2021-Dec-26 13:49:04320.5Mapplication/vnd.debian.binary-package
acl2-books_8.4dfsg-2_ppc64el.deb2021-Dec-26 03:23:50352.3Mapplication/vnd.debian.binary-package
acl2-books_8.4dfsg-2_s390x.deb2021-Dec-19 01:36:30325.5Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_arm64.deb2023-Jan-18 01:45:36335.8Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_armhf.deb2023-Jan-17 15:04:35315.4Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_ppc64el.deb2023-Jan-17 12:24:07346.7Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_riscv64.deb2023-Feb-15 16:04:48935.3Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_s390x.deb2023-Jan-17 12:24:12313.6Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5build3_arm64.deb2024-Apr-11 23:38:45337.1Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5build3_armhf.deb2024-Apr-03 23:40:13317.6Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5build3_ppc64el.deb2024-Apr-02 21:19:17350.3Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5build3_riscv64.deb2024-Apr-08 07:42:401.0Gapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5build3_s390x.deb2024-Apr-02 13:59:21330.7Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-6_arm64.deb2024-Jul-29 15:11:43169.4Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-6_armhf.deb2024-Jul-29 16:18:34161.8Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-6_ppc64el.deb2024-Jul-29 14:11:44183.0Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-6_riscv64.deb2024-Aug-01 03:50:28507.4Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-6_s390x.deb2024-Jul-29 12:20:31168.9Mapplication/vnd.debian.binary-package
acl2-doc_6.3-5_all.deb2013-Oct-25 00:36:2512.1Mapplication/vnd.debian.binary-package
acl2-doc_7.1-1_all.deb2015-Jun-27 21:48:36353.3Kapplication/vnd.debian.binary-package
acl2-doc_8.0dfsg-1_all.deb2018-Jan-14 11:08:13385.1Kapplication/vnd.debian.binary-package
acl2-doc_8.2dfsg-3build1_all.deb2020-Mar-23 21:24:10418.0Kapplication/vnd.debian.binary-package
acl2-doc_8.4dfsg-2_all.deb2021-Dec-19 09:09:59441.0Kapplication/vnd.debian.binary-package
acl2-doc_8.5dfsg-5_all.deb2023-Jan-17 10:29:02473.4Kapplication/vnd.debian.binary-package
acl2-doc_8.5dfsg-5build3_all.deb2024-Apr-02 16:02:57473.9Kapplication/vnd.debian.binary-package
acl2-doc_8.5dfsg-6_all.deb2024-Jul-29 12:20:21473.8Kapplication/vnd.debian.binary-package
acl2-emacs_6.3-5_all.deb2013-Oct-25 00:36:2454.9Kapplication/vnd.debian.binary-package
acl2-emacs_7.1-1_all.deb2015-Jun-27 21:48:3855.2Kapplication/vnd.debian.binary-package
acl2-emacs_8.0dfsg-1_all.deb2018-Jan-14 11:08:1758.9Kapplication/vnd.debian.binary-package
acl2-emacs_8.2dfsg-3build1_all.deb2020-Mar-23 21:24:1059.1Kapplication/vnd.debian.binary-package
acl2-infix-source_6.3-5_all.deb2013-Oct-25 00:36:2485.9Kapplication/vnd.debian.binary-package
acl2-infix-source_7.1-1_all.deb2015-Jun-27 21:48:4070.3Kapplication/vnd.debian.binary-package
acl2-infix-source_8.0dfsg-1_all.deb2018-Jan-14 11:08:1270.2Kapplication/vnd.debian.binary-package
acl2-infix-source_8.2dfsg-3build1_all.deb2020-Mar-23 21:24:0770.2Kapplication/vnd.debian.binary-package
acl2-infix-source_8.4dfsg-2_all.deb2021-Dec-19 09:10:2671.9Kapplication/vnd.debian.binary-package
acl2-infix-source_8.5dfsg-5_all.deb2023-Jan-17 10:29:0271.9Kapplication/vnd.debian.binary-package
acl2-infix-source_8.5dfsg-5build3_all.deb2024-Apr-02 16:02:5772.4Kapplication/vnd.debian.binary-package
acl2-infix-source_8.5dfsg-6_all.deb2024-Jul-29 12:20:2172.2Kapplication/vnd.debian.binary-package
acl2-infix_6.3-5_armhf.deb2013-Oct-23 12:44:02573.5Kapplication/vnd.debian.binary-package
acl2-infix_6.3-5_powerpc.deb2013-Oct-23 02:49:19212.0Kapplication/vnd.debian.binary-package
acl2-infix_7.1-1_arm64.deb2015-Jun-02 22:43:28147.4Kapplication/vnd.debian.binary-package
acl2-infix_7.1-1_armhf.deb2015-Jun-02 20:58:40423.2Kapplication/vnd.debian.binary-package
acl2-infix_7.1-1_powerpc.deb2015-Jun-02 13:48:57132.7Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_arm64.deb2018-Jan-22 11:23:18420.5Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_armhf.deb2018-Jan-22 07:13:26400.1Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_ppc64el.deb2018-Jan-31 22:57:59464.2Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_s390x.deb2018-Jan-24 05:18:55377.9Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3build1_arm64.deb2020-Mar-24 16:48:22460.8Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3build1_armhf.deb2020-Mar-24 16:18:26447.1Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3build1_ppc64el.deb2020-Mar-23 23:18:31485.6Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3build1_s390x.deb2020-Mar-23 20:14:09434.5Kapplication/vnd.debian.binary-package
acl2-infix_8.4dfsg-2_arm64.deb2021-Dec-26 15:08:55559.1Kapplication/vnd.debian.binary-package
acl2-infix_8.4dfsg-2_armhf.deb2021-Dec-26 13:49:04551.3Kapplication/vnd.debian.binary-package
acl2-infix_8.4dfsg-2_ppc64el.deb2021-Dec-26 03:23:46604.1Kapplication/vnd.debian.binary-package
acl2-infix_8.4dfsg-2_s390x.deb2021-Dec-19 01:36:31553.9Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_arm64.deb2023-Jan-18 01:45:36539.4Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_armhf.deb2023-Jan-17 15:04:33540.9Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_ppc64el.deb2023-Jan-17 12:24:05577.3Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_riscv64.deb2023-Feb-15 16:04:481.2Mapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_s390x.deb2023-Jan-17 12:24:16501.6Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5build3_arm64.deb2024-Apr-11 23:38:41541.5Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5build3_armhf.deb2024-Apr-03 23:40:09541.5Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5build3_ppc64el.deb2024-Apr-02 21:19:13594.4Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5build3_riscv64.deb2024-Apr-08 07:42:311.4Mapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5build3_s390x.deb2024-Apr-02 13:59:19540.9Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-6_arm64.deb2024-Jul-29 15:11:40533.4Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-6_armhf.deb2024-Jul-29 16:18:30541.5Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-6_ppc64el.deb2024-Jul-29 14:11:40590.6Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-6_riscv64.deb2024-Aug-01 03:50:191.3Mapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-6_s390x.deb2024-Jul-29 12:20:28531.7Kapplication/vnd.debian.binary-package
acl2-source_6.3-5_all.deb2013-Oct-25 00:36:223.6Mapplication/vnd.debian.binary-package
acl2-source_7.1-1_all.deb2015-Jun-27 21:48:412.7Mapplication/vnd.debian.binary-package
acl2-source_8.0dfsg-1_all.deb2018-Jan-14 11:08:132.9Mapplication/vnd.debian.binary-package
acl2-source_8.2dfsg-3build1_all.deb2020-Mar-23 21:24:103.1Mapplication/vnd.debian.binary-package
acl2-source_8.4dfsg-2_all.deb2021-Dec-19 09:10:003.3Mapplication/vnd.debian.binary-package
acl2-source_8.5dfsg-5_all.deb2023-Jan-17 10:29:013.4Mapplication/vnd.debian.binary-package
acl2-source_8.5dfsg-5build3_all.deb2024-Apr-02 16:02:573.4Mapplication/vnd.debian.binary-package
acl2-source_8.5dfsg-6_all.deb2024-Jul-29 12:20:213.4Mapplication/vnd.debian.binary-package
acl2_6.3-5.debian.tar.gz2013-Oct-21 21:09:58157.7Kapplication/gzip
acl2_6.3-5.dsc2013-Oct-21 21:09:591.7Kapplication/octet-stream
acl2_6.3-5_armhf.deb2013-Oct-23 12:44:0523.1Mapplication/vnd.debian.binary-package
acl2_6.3-5_powerpc.deb2013-Oct-23 02:49:2124.7Mapplication/vnd.debian.binary-package
acl2_6.3.orig-books.tar.gz2013-Oct-21 21:09:5912.9Mapplication/gzip
acl2_6.3.orig.tar.gz2013-Oct-21 21:09:596.7Mapplication/gzip
acl2_7.1-1.debian.tar.xz2015-Jun-02 07:24:15125.9Kapplication/x-xz
acl2_7.1-1.dsc2015-Jun-02 07:24:182.1Kapplication/octet-stream
acl2_7.1-1_arm64.deb2015-Jun-02 22:43:2814.9Mapplication/vnd.debian.binary-package
acl2_7.1-1_armhf.deb2015-Jun-02 20:58:4115.3Mapplication/vnd.debian.binary-package
acl2_7.1-1_powerpc.deb2015-Jun-02 13:48:5813.4Mapplication/vnd.debian.binary-package
acl2_7.1.orig.tar.gz2015-Jun-02 07:24:1860.4Mapplication/gzip
acl2_8.0dfsg-1.debian.tar.xz2018-Jan-14 07:08:21199.9Kapplication/x-xz
acl2_8.0dfsg-1.dsc2018-Jan-14 07:08:202.1Kapplication/octet-stream
acl2_8.0dfsg-1_arm64.deb2018-Jan-22 11:23:1716.9Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_armhf.deb2018-Jan-22 07:13:2815.4Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_ppc64el.deb2018-Jan-31 22:58:0218.6Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_s390x.deb2018-Jan-24 05:18:5517.8Mapplication/vnd.debian.binary-package
acl2_8.0dfsg.orig.tar.gz2018-Jan-14 07:08:2174.0Mapplication/gzip
acl2_8.2dfsg-3build1.debian.tar.xz2020-Mar-23 15:00:04201.2Kapplication/x-xz
acl2_8.2dfsg-3build1.dsc2020-Mar-23 15:00:052.2Kapplication/octet-stream
acl2_8.2dfsg-3build1_arm64.deb2020-Mar-24 16:48:2219.4Mapplication/vnd.debian.binary-package
acl2_8.2dfsg-3build1_armhf.deb2020-Mar-24 16:18:2617.7Mapplication/vnd.debian.binary-package
acl2_8.2dfsg-3build1_ppc64el.deb2020-Mar-23 23:18:3120.9Mapplication/vnd.debian.binary-package
acl2_8.2dfsg-3build1_s390x.deb2020-Mar-23 20:14:0920.1Mapplication/vnd.debian.binary-package
acl2_8.2dfsg.orig.tar.gz2019-Dec-20 07:13:2676.9Mapplication/gzip
acl2_8.4dfsg-2.debian.tar.xz2021-Nov-02 07:24:22304.3Kapplication/x-xz
acl2_8.4dfsg-2.dsc2021-Nov-02 07:24:202.2Kapplication/octet-stream
acl2_8.4dfsg-2_arm64.deb2021-Dec-26 15:08:5623.9Mapplication/vnd.debian.binary-package
acl2_8.4dfsg-2_armhf.deb2021-Dec-26 13:49:0121.2Mapplication/vnd.debian.binary-package
acl2_8.4dfsg-2_ppc64el.deb2021-Dec-26 03:23:5025.1Mapplication/vnd.debian.binary-package
acl2_8.4dfsg-2_s390x.deb2021-Dec-19 01:36:3124.7Mapplication/vnd.debian.binary-package
acl2_8.4dfsg.orig.tar.gz2021-Oct-29 07:18:50193.6Mapplication/gzip
acl2_8.5dfsg-5.debian.tar.xz2023-Jan-17 01:44:34305.5Kapplication/x-xz
acl2_8.5dfsg-5.dsc2023-Jan-17 01:44:332.2Kapplication/octet-stream
acl2_8.5dfsg-5_arm64.deb2023-Jan-18 01:45:3724.5Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_armhf.deb2023-Jan-17 15:04:3522.0Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_ppc64el.deb2023-Jan-17 12:24:0725.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_riscv64.deb2023-Feb-15 16:04:4123.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_s390x.deb2023-Jan-17 12:24:1625.3Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5build3.debian.tar.xz2024-Apr-01 13:43:39305.7Kapplication/x-xz
acl2_8.5dfsg-5build3.dsc2024-Apr-01 13:43:392.3Kapplication/octet-stream
acl2_8.5dfsg-5build3_arm64.deb2024-Apr-11 23:38:4524.1Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5build3_armhf.deb2024-Apr-03 23:40:1321.3Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5build3_ppc64el.deb2024-Apr-02 21:19:1726.0Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5build3_riscv64.deb2024-Apr-08 07:42:4125.1Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5build3_s390x.deb2024-Apr-02 13:59:2227.1Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-6.debian.tar.xz2024-Jul-29 07:59:18305.5Kapplication/x-xz
acl2_8.5dfsg-6.dsc2024-Jul-29 07:59:172.2Kapplication/octet-stream
acl2_8.5dfsg-6_arm64.deb2024-Jul-29 15:11:4324.2Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-6_armhf.deb2024-Jul-29 16:18:3521.1Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-6_ppc64el.deb2024-Jul-29 14:11:4525.7Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-6_riscv64.deb2024-Aug-01 03:50:2924.3Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-6_s390x.deb2024-Jul-29 12:20:3226.7Mapplication/vnd.debian.binary-package
acl2_8.5dfsg.orig.tar.gz2022-Jul-28 07:33:59213.1Mapplication/gzip
elpa-acl2_8.4dfsg-2_all.deb2021-Dec-19 09:09:0769.1Kapplication/vnd.debian.binary-package
elpa-acl2_8.5dfsg-5_all.deb2023-Jan-17 10:29:0370.3Kapplication/vnd.debian.binary-package
elpa-acl2_8.5dfsg-5build3_all.deb2024-Apr-02 16:02:5770.7Kapplication/vnd.debian.binary-package
elpa-acl2_8.5dfsg-6_all.deb2024-Jul-29 12:20:2070.8Kapplication/vnd.debian.binary-package
lighttpd/1.4.35