Index of /debian/pool/main/a/acl2/

NameLast ModifiedSizeType
../ -  Directory
acl2-books-certs_8.3dfsg-2_all.deb2021-Jan-28 03:25:23138.6Mapplication/vnd.debian.binary-package
acl2-books-certs_8.5dfsg-5_all.deb2023-Jan-16 15:55:57170.1Mapplication/vnd.debian.binary-package
acl2-books-certs_8.6+dfsg-2_all.deb2025-Apr-27 21:56:16211.3Mapplication/vnd.debian.binary-package
acl2-books-certs_8.7+dfsg-2_all.deb2026-Jun-17 23:12:49232.1Mapplication/vnd.debian.binary-package
acl2-books-certs_8.7+dfsg-3_all.deb2026-Jul-17 23:29:22232.5Mapplication/vnd.debian.binary-package
acl2-books-source_8.3dfsg-2_all.deb2021-Jan-28 03:25:2318.6Mapplication/vnd.debian.binary-package
acl2-books-source_8.5dfsg-5_all.deb2023-Jan-16 15:55:5723.5Mapplication/vnd.debian.binary-package
acl2-books-source_8.6+dfsg-2_all.deb2025-Apr-27 21:56:1626.2Mapplication/vnd.debian.binary-package
acl2-books-source_8.7+dfsg-2_all.deb2026-Jun-17 23:12:4928.3Mapplication/vnd.debian.binary-package
acl2-books-source_8.7+dfsg-3_all.deb2026-Jul-17 23:29:2228.3Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_amd64.deb2021-Jan-27 22:57:13241.1Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_arm64.deb2021-Jan-28 16:43:01235.9Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_i386.deb2021-Jan-27 23:22:26203.9Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_amd64.deb2023-Jan-16 21:15:10286.9Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_arm64.deb2023-Jan-17 22:13:23289.4Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_armel.deb2023-Jan-17 20:26:45267.8Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_i386.deb2023-Jan-16 16:16:26247.5Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_mips64el.deb2023-Jan-23 13:58:23309.4Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_ppc64el.deb2023-Jan-18 21:10:39291.5Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_amd64.deb2025-Apr-27 21:40:58415.5Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_arm64.deb2025-Apr-27 21:56:10412.4Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_armel.deb2025-Apr-27 23:17:05385.6Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_i386.deb2025-Apr-27 21:25:16344.2Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_ppc64el.deb2025-Apr-27 21:30:23429.7Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_riscv64.deb2025-May-02 03:29:20936.0Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-2_amd64.deb2026-Jun-17 23:23:20456.5Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-2_arm64.deb2026-Jun-17 22:31:54448.0Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-2_i386.deb2026-Jun-18 03:39:47397.6Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-2_loong64.deb2026-Jun-18 12:18:17591.4Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-2_ppc64el.deb2026-Jun-17 23:57:33486.6Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-2_riscv64.deb2026-Jun-27 08:29:381.1Gapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-3_amd64.deb2026-Jul-17 23:19:09456.6Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-3_arm64.deb2026-Jul-17 22:32:00448.4Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-3_i386.deb2026-Jul-18 03:20:23397.5Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-3_loong64.deb2026-Jul-18 09:23:36591.3Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-3_ppc64el.deb2026-Jul-17 23:57:24486.5Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-3_riscv64.deb2026-Jul-23 18:58:121.1Gapplication/vnd.debian.binary-package
acl2-doc_8.3dfsg-2_all.deb2021-Jan-28 03:25:23437.1Kapplication/vnd.debian.binary-package
acl2-doc_8.5dfsg-5_all.deb2023-Jan-16 15:55:57470.0Kapplication/vnd.debian.binary-package
acl2-doc_8.6+dfsg-2_all.deb2025-Apr-27 21:56:16512.6Kapplication/vnd.debian.binary-package
acl2-doc_8.7+dfsg-2_all.deb2026-Jun-17 23:12:49533.2Kapplication/vnd.debian.binary-package
acl2-doc_8.7+dfsg-3_all.deb2026-Jul-17 23:29:22533.3Kapplication/vnd.debian.binary-package
acl2-emacs_8.3dfsg-2_all.deb2021-Jan-28 03:25:2367.8Kapplication/vnd.debian.binary-package
acl2-infix-source_8.3dfsg-2_all.deb2021-Jan-28 03:25:2378.0Kapplication/vnd.debian.binary-package
acl2-infix-source_8.5dfsg-5_all.deb2023-Jan-16 15:55:5770.6Kapplication/vnd.debian.binary-package
acl2-infix-source_8.6+dfsg-2_all.deb2025-Apr-27 21:56:1670.9Kapplication/vnd.debian.binary-package
acl2-infix-source_8.7+dfsg-2_all.deb2026-Jun-17 23:12:4970.2Kapplication/vnd.debian.binary-package
acl2-infix-source_8.7+dfsg-3_all.deb2026-Jul-17 23:29:2270.2Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_amd64.deb2021-Jan-27 22:57:13478.8Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_arm64.deb2021-Jan-28 16:43:01469.4Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_i386.deb2021-Jan-27 23:22:26484.8Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_amd64.deb2023-Jan-16 21:15:10464.1Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_arm64.deb2023-Jan-17 22:13:23460.6Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_armel.deb2023-Jan-17 20:26:45459.0Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_i386.deb2023-Jan-16 16:16:26477.4Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_mips64el.deb2023-Jan-23 13:58:24490.5Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_ppc64el.deb2023-Jan-18 21:10:39483.0Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_amd64.deb2025-Apr-27 21:40:58866.0Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_arm64.deb2025-Apr-27 21:56:10833.7Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_armel.deb2025-Apr-27 23:17:05814.6Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_i386.deb2025-Apr-27 21:25:16852.2Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_ppc64el.deb2025-Apr-27 21:30:23885.3Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_riscv64.deb2025-May-02 03:29:201.8Mapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-2_amd64.deb2026-Jun-17 23:23:20873.5Kapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-2_arm64.deb2026-Jun-17 22:31:54844.0Kapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-2_i386.deb2026-Jun-18 03:39:47864.4Kapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-2_loong64.deb2026-Jun-18 12:18:171.0Mapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-2_ppc64el.deb2026-Jun-17 23:57:33906.4Kapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-2_riscv64.deb2026-Jun-27 08:29:382.1Mapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-3_amd64.deb2026-Jul-17 23:19:09875.6Kapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-3_arm64.deb2026-Jul-17 22:32:00843.8Kapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-3_i386.deb2026-Jul-18 03:20:23863.5Kapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-3_loong64.deb2026-Jul-18 09:23:361.0Mapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-3_ppc64el.deb2026-Jul-17 23:57:24905.0Kapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-3_riscv64.deb2026-Jul-23 18:58:122.0Mapplication/vnd.debian.binary-package
acl2-source_8.3dfsg-2_all.deb2021-Jan-28 03:25:233.1Mapplication/vnd.debian.binary-package
acl2-source_8.5dfsg-5_all.deb2023-Jan-16 15:55:573.4Mapplication/vnd.debian.binary-package
acl2-source_8.6+dfsg-2_all.deb2025-Apr-27 21:56:163.8Mapplication/vnd.debian.binary-package
acl2-source_8.7+dfsg-2_all.deb2026-Jun-17 23:12:493.9Mapplication/vnd.debian.binary-package
acl2-source_8.7+dfsg-3_all.deb2026-Jul-17 23:29:223.9Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2.debian.tar.xz2021-Jan-27 15:34:22222.9Kapplication/x-xz
acl2_8.3dfsg-2.dsc2021-Jan-27 15:34:222.2Kapplication/octet-stream
acl2_8.3dfsg-2_amd64.deb2021-Jan-27 22:57:1320.4Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_arm64.deb2021-Jan-28 16:43:0118.9Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_i386.deb2021-Jan-27 23:22:2718.5Mapplication/vnd.debian.binary-package
acl2_8.3dfsg.orig.tar.gz2020-Aug-24 04:39:38111.8Mapplication/x-gtar-compressed
acl2_8.5dfsg-5.debian.tar.xz2023-Jan-16 03:00:06305.5Kapplication/x-xz
acl2_8.5dfsg-5.dsc2023-Jan-16 03:00:062.2Kapplication/octet-stream
acl2_8.5dfsg-5_amd64.deb2023-Jan-16 21:15:1022.3Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_arm64.deb2023-Jan-17 22:13:2320.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_armel.deb2023-Jan-17 20:26:4518.1Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_i386.deb2023-Jan-16 16:16:2619.4Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_mips64el.deb2023-Jan-23 13:58:2419.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_ppc64el.deb2023-Jan-18 21:10:4022.0Mapplication/vnd.debian.binary-package
acl2_8.5dfsg.orig.tar.gz2022-Jul-27 16:13:36213.1Mapplication/x-gtar-compressed
acl2_8.6+dfsg-2.debian.tar.xz2025-Apr-27 14:54:28434.7Kapplication/x-xz
acl2_8.6+dfsg-2.dsc2025-Apr-27 14:54:282.2Kapplication/octet-stream
acl2_8.6+dfsg-2_amd64.deb2025-Apr-27 21:40:5835.1Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_arm64.deb2025-Apr-27 21:56:1034.9Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_armel.deb2025-Apr-27 23:17:0536.1Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_i386.deb2025-Apr-27 21:25:1638.8Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_ppc64el.deb2025-Apr-27 21:30:2335.4Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_riscv64.deb2025-May-02 03:29:2135.4Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg.orig.tar.gz2025-Apr-26 23:21:59229.2Mapplication/x-gtar-compressed
acl2_8.7+dfsg-2.debian.tar.xz2026-Jun-17 16:31:28880.8Kapplication/x-xz
acl2_8.7+dfsg-2.dsc2026-Jun-17 16:31:282.2Kapplication/octet-stream
acl2_8.7+dfsg-2_amd64.deb2026-Jun-17 23:23:2035.6Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-2_arm64.deb2026-Jun-17 22:31:5436.1Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-2_i386.deb2026-Jun-18 03:39:4737.9Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-2_loong64.deb2026-Jun-18 12:18:1737.4Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-2_ppc64el.deb2026-Jun-17 23:57:3336.7Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-2_riscv64.deb2026-Jun-27 08:29:3837.1Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-3.debian.tar.xz2026-Jul-17 17:14:11880.8Kapplication/x-xz
acl2_8.7+dfsg-3.dsc2026-Jul-17 17:14:112.2Kapplication/octet-stream
acl2_8.7+dfsg-3_amd64.deb2026-Jul-17 23:19:0934.2Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-3_arm64.deb2026-Jul-17 22:32:0031.0Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-3_i386.deb2026-Jul-18 03:20:2335.1Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-3_loong64.deb2026-Jul-18 09:23:3632.2Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-3_ppc64el.deb2026-Jul-17 23:57:2431.8Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-3_riscv64.deb2026-Jul-23 18:58:1232.3Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg.orig.tar.gz2026-Jun-17 10:01:39238.2Mapplication/x-gtar-compressed
elpa-acl2_8.5dfsg-5_all.deb2023-Jan-16 15:55:5768.9Kapplication/vnd.debian.binary-package
elpa-acl2_8.6+dfsg-2_all.deb2025-Apr-27 21:56:1676.4Kapplication/vnd.debian.binary-package
elpa-acl2_8.7+dfsg-2_all.deb2026-Jun-17 23:12:4975.7Kapplication/vnd.debian.binary-package
elpa-acl2_8.7+dfsg-3_all.deb2026-Jul-17 23:29:2275.7Kapplication/vnd.debian.binary-package