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

NameLast ModifiedSizeType
../ -  Directory
acl2-books-certs_8.0dfsg-1_all.deb2018-Jan-13 19:22:5769.9Mapplication/vnd.debian.binary-package
acl2-books-certs_8.3dfsg-2_all.deb2021-Jan-28 07:55:23138.6Mapplication/vnd.debian.binary-package
acl2-books-certs_8.5dfsg-5_all.deb2023-Jan-16 20:25:57170.1Mapplication/vnd.debian.binary-package
acl2-books-certs_8.6+dfsg-2_all.deb2025-Apr-28 01:26:16211.3Mapplication/vnd.debian.binary-package
acl2-books-certs_8.6+dfsg-3_all.deb2025-May-15 01:54:46211.6Mapplication/vnd.debian.binary-package
acl2-books-source_8.0dfsg-1_all.deb2018-Jan-13 19:22:5711.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.3dfsg-2_all.deb2021-Jan-28 07:55:2318.6Mapplication/vnd.debian.binary-package
acl2-books-source_8.5dfsg-5_all.deb2023-Jan-16 20:25:5723.5Mapplication/vnd.debian.binary-package
acl2-books-source_8.6+dfsg-2_all.deb2025-Apr-28 01:26:1626.2Mapplication/vnd.debian.binary-package
acl2-books-source_8.6+dfsg-3_all.deb2025-May-15 01:54:4626.2Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_amd64.deb2018-Jan-13 19:22:59131.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_arm64.deb2018-Jan-14 08:17:41134.8Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_armhf.deb2018-Jan-15 14:16:11119.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_i386.deb2018-Jan-14 02:56:14110.6Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_amd64.deb2021-Jan-28 03:27:13241.1Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_arm64.deb2021-Jan-28 21:13:01235.9Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_armel.deb2021-Jan-28 12:43:11218.3Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_armhf.deb2021-Jan-28 12:12:54222.9Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_i386.deb2021-Jan-28 03:52:26203.9Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_mips64el.deb2021-Jan-31 00:42:15253.6Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_ppc64el.deb2021-Jan-28 05:14:10244.7Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_s390x.deb2021-Jan-28 08:05:29218.9Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_amd64.deb2023-Jan-17 01:45:10286.9Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_arm64.deb2023-Jan-18 02:43:23289.4Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_armel.deb2023-Jan-18 00:56:45267.8Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_armhf.deb2023-Jan-17 17:02:25271.7Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_i386.deb2023-Jan-16 20:46:26247.5Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_mips64el.deb2023-Jan-23 18:28:23309.4Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_ppc64el.deb2023-Jan-19 01:40:39291.5Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_s390x.deb2023-Jan-16 20:00:31267.3Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_amd64.deb2025-Apr-28 01:10:58415.5Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_arm64.deb2025-Apr-28 01:26:10412.4Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_armel.deb2025-Apr-28 02:47:05385.6Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_armhf.deb2025-Apr-28 22:47:54394.6Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_i386.deb2025-Apr-28 00:55:16344.2Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_ppc64el.deb2025-Apr-28 01:00:23429.7Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_riscv64.deb2025-May-02 06:59:20936.0Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_s390x.deb2025-Apr-28 09:26:37416.7Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_amd64.deb2025-May-15 02:10:10415.5Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_arm64.deb2025-May-15 19:17:48412.5Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_armel.deb2025-May-15 04:33:05385.8Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_armhf.deb2025-May-15 03:47:23394.6Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_i386.deb2025-May-15 03:57:34344.3Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_mips64el.deb2025-May-16 13:49:12440.6Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_ppc64el.deb2025-May-15 01:39:39429.8Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_riscv64.deb2025-May-19 08:30:19936.5Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_s390x.deb2025-May-15 07:39:08416.5Mapplication/vnd.debian.binary-package
acl2-doc_8.0dfsg-1_all.deb2018-Jan-13 19:22:59392.1Kapplication/vnd.debian.binary-package
acl2-doc_8.3dfsg-2_all.deb2021-Jan-28 07:55:23437.1Kapplication/vnd.debian.binary-package
acl2-doc_8.5dfsg-5_all.deb2023-Jan-16 20:25:57470.0Kapplication/vnd.debian.binary-package
acl2-doc_8.6+dfsg-2_all.deb2025-Apr-28 01:26:16512.6Kapplication/vnd.debian.binary-package
acl2-doc_8.6+dfsg-3_all.deb2025-May-15 01:54:46512.8Kapplication/vnd.debian.binary-package
acl2-emacs_8.0dfsg-1_all.deb2018-Jan-13 19:22:5966.0Kapplication/vnd.debian.binary-package
acl2-emacs_8.3dfsg-2_all.deb2021-Jan-28 07:55:2367.8Kapplication/vnd.debian.binary-package
acl2-infix-source_8.0dfsg-1_all.deb2018-Jan-13 19:22:5977.3Kapplication/vnd.debian.binary-package
acl2-infix-source_8.3dfsg-2_all.deb2021-Jan-28 07:55:2378.0Kapplication/vnd.debian.binary-package
acl2-infix-source_8.5dfsg-5_all.deb2023-Jan-16 20:25:5770.6Kapplication/vnd.debian.binary-package
acl2-infix-source_8.6+dfsg-2_all.deb2025-Apr-28 01:26:1670.9Kapplication/vnd.debian.binary-package
acl2-infix-source_8.6+dfsg-3_all.deb2025-May-15 01:54:4671.1Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_amd64.deb2018-Jan-13 19:22:59421.9Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_arm64.deb2018-Jan-14 08:17:41432.4Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_armhf.deb2018-Jan-15 14:16:11406.5Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_i386.deb2018-Jan-14 02:56:14389.9Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_amd64.deb2021-Jan-28 03:27:13478.8Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_arm64.deb2021-Jan-28 21:13:01469.4Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_armel.deb2021-Jan-28 12:43:11462.9Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_armhf.deb2021-Jan-28 12:12:54478.2Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_i386.deb2021-Jan-28 03:52:26484.8Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_mips64el.deb2021-Jan-31 00:42:15503.3Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_ppc64el.deb2021-Jan-28 05:14:10497.8Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_s390x.deb2021-Jan-28 08:05:29434.9Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_amd64.deb2023-Jan-17 01:45:10464.1Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_arm64.deb2023-Jan-18 02:43:23460.6Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_armel.deb2023-Jan-18 00:56:45459.0Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_armhf.deb2023-Jan-17 17:02:25472.3Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_i386.deb2023-Jan-16 20:46:26477.4Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_mips64el.deb2023-Jan-23 18:28:24490.5Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_ppc64el.deb2023-Jan-19 01:40:39483.0Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_s390x.deb2023-Jan-16 20:00:31431.9Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_amd64.deb2025-Apr-28 01:10:58866.0Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_arm64.deb2025-Apr-28 01:26:10833.7Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_armel.deb2025-Apr-28 02:47:05814.6Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_armhf.deb2025-Apr-28 22:47:54845.5Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_i386.deb2025-Apr-28 00:55:16852.2Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_ppc64el.deb2025-Apr-28 01:00:23885.3Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_riscv64.deb2025-May-02 06:59:201.8Mapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_s390x.deb2025-Apr-28 09:26:37863.9Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_amd64.deb2025-May-15 02:10:10864.8Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_arm64.deb2025-May-15 19:17:48833.5Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_armel.deb2025-May-15 04:33:05813.2Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_armhf.deb2025-May-15 03:47:23846.4Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_i386.deb2025-May-15 03:57:34852.5Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_mips64el.deb2025-May-16 13:49:12874.9Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_ppc64el.deb2025-May-15 01:39:39881.9Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_riscv64.deb2025-May-19 08:30:191.8Mapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_s390x.deb2025-May-15 07:39:08862.9Kapplication/vnd.debian.binary-package
acl2-source_8.0dfsg-1_all.deb2018-Jan-13 19:22:592.9Mapplication/vnd.debian.binary-package
acl2-source_8.3dfsg-2_all.deb2021-Jan-28 07:55:233.1Mapplication/vnd.debian.binary-package
acl2-source_8.5dfsg-5_all.deb2023-Jan-16 20:25:573.4Mapplication/vnd.debian.binary-package
acl2-source_8.6+dfsg-2_all.deb2025-Apr-28 01:26:163.8Mapplication/vnd.debian.binary-package
acl2-source_8.6+dfsg-3_all.deb2025-May-15 01:54:463.8Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1.debian.tar.xz2018-Jan-13 19:22:57199.9Kapplication/x-xz
acl2_8.0dfsg-1.dsc2018-Jan-13 19:22:562.1Ktext/prs.lines.tag
acl2_8.0dfsg-1_amd64.deb2018-Jan-13 19:22:5918.9Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_arm64.deb2018-Jan-14 08:17:4217.0Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_armhf.deb2018-Jan-15 14:16:1215.4Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_i386.deb2018-Jan-14 02:56:1416.2Mapplication/vnd.debian.binary-package
acl2_8.0dfsg.orig.tar.gz2018-Jan-13 19:22:5774.0Mapplication/x-gtar-compressed
acl2_8.3dfsg-2.debian.tar.xz2021-Jan-27 20:04:22222.9Kapplication/x-xz
acl2_8.3dfsg-2.dsc2021-Jan-27 20:04:222.2Ktext/prs.lines.tag
acl2_8.3dfsg-2_amd64.deb2021-Jan-28 03:27:1320.4Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_arm64.deb2021-Jan-28 21:13:0118.9Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_armel.deb2021-Jan-28 12:43:1117.5Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_armhf.deb2021-Jan-28 12:12:5417.7Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_i386.deb2021-Jan-28 03:52:2718.5Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_mips64el.deb2021-Jan-31 00:42:1618.3Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_ppc64el.deb2021-Jan-28 05:14:1021.5Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_s390x.deb2021-Jan-28 08:05:2919.7Mapplication/vnd.debian.binary-package
acl2_8.3dfsg.orig.tar.gz2020-Aug-24 08:09:38111.8Mapplication/x-gtar-compressed
acl2_8.5dfsg-5.debian.tar.xz2023-Jan-16 07:30:06305.5Kapplication/x-xz
acl2_8.5dfsg-5.dsc2023-Jan-16 07:30:062.2Ktext/prs.lines.tag
acl2_8.5dfsg-5_amd64.deb2023-Jan-17 01:45:1022.3Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_arm64.deb2023-Jan-18 02:43:2320.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_armel.deb2023-Jan-18 00:56:4518.1Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_armhf.deb2023-Jan-17 17:02:2518.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_i386.deb2023-Jan-16 20:46:2619.4Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_mips64el.deb2023-Jan-23 18:28:2419.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_ppc64el.deb2023-Jan-19 01:40:4022.0Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_s390x.deb2023-Jan-16 20:00:3120.9Mapplication/vnd.debian.binary-package
acl2_8.5dfsg.orig.tar.gz2022-Jul-27 19:43:36213.1Mapplication/x-gtar-compressed
acl2_8.6+dfsg-2.debian.tar.xz2025-Apr-27 18:24:28434.7Kapplication/x-xz
acl2_8.6+dfsg-2.dsc2025-Apr-27 18:24:282.2Ktext/prs.lines.tag
acl2_8.6+dfsg-2_amd64.deb2025-Apr-28 01:10:5835.1Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_arm64.deb2025-Apr-28 01:26:1034.9Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_armel.deb2025-Apr-28 02:47:0536.1Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_armhf.deb2025-Apr-28 22:47:5436.5Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_i386.deb2025-Apr-28 00:55:1638.8Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_ppc64el.deb2025-Apr-28 01:00:2335.4Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_riscv64.deb2025-May-02 06:59:2135.4Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_s390x.deb2025-Apr-28 09:26:3738.0Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3.debian.tar.xz2025-May-14 19:40:11694.5Kapplication/x-xz
acl2_8.6+dfsg-3.dsc2025-May-14 19:40:112.2Ktext/prs.lines.tag
acl2_8.6+dfsg-3_amd64.deb2025-May-15 02:10:1035.4Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_arm64.deb2025-May-15 19:17:4836.4Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_armel.deb2025-May-15 04:33:0536.0Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_armhf.deb2025-May-15 03:47:2338.2Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_i386.deb2025-May-15 03:57:3439.1Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_mips64el.deb2025-May-16 13:49:1235.6Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_ppc64el.deb2025-May-15 01:39:3935.3Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_riscv64.deb2025-May-19 08:30:1935.3Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_s390x.deb2025-May-15 07:39:0837.9Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg.orig.tar.gz2025-Apr-27 02:51:59229.2Mapplication/x-gtar-compressed
elpa-acl2_8.5dfsg-5_all.deb2023-Jan-16 20:25:5768.9Kapplication/vnd.debian.binary-package
elpa-acl2_8.6+dfsg-2_all.deb2025-Apr-28 01:26:1676.4Kapplication/vnd.debian.binary-package
elpa-acl2_8.6+dfsg-3_all.deb2025-May-15 01:54:4676.6Kapplication/vnd.debian.binary-package
lighttpd/1.4.69