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

NameLast ModifiedSizeType
../ -  Directory
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.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.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_i386.deb2021-Jan-28 03:52:26203.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_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.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_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-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_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-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.3dfsg-2_all.deb2021-Jan-28 07:55:2367.8Kapplication/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.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_i386.deb2021-Jan-28 03:52:26484.8Kapplication/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_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.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_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-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_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-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.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_i386.deb2021-Jan-28 03:52:2718.5Mapplication/vnd.debian.binary-package
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_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.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_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-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_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
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