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

NameLast ModifiedSizeType
../ -  Directory
acl2-books-certs_8.3dfsg-2_all.deb2021-Jan-28 04:25:23138.6Mapplication/vnd.debian.binary-package
acl2-books-certs_8.5dfsg-5_all.deb2023-Jan-16 16:55:57170.1Mapplication/vnd.debian.binary-package
acl2-books-certs_8.6+dfsg-2_all.deb2025-Apr-27 22:56:16211.3Mapplication/vnd.debian.binary-package
acl2-books-certs_8.6+dfsg-3_all.deb2025-May-14 23:24:46211.6Mapplication/vnd.debian.binary-package
acl2-books-source_8.3dfsg-2_all.deb2021-Jan-28 04:25:2318.6Mapplication/vnd.debian.binary-package
acl2-books-source_8.5dfsg-5_all.deb2023-Jan-16 16:55:5723.5Mapplication/vnd.debian.binary-package
acl2-books-source_8.6+dfsg-2_all.deb2025-Apr-27 22:56:1626.2Mapplication/vnd.debian.binary-package
acl2-books-source_8.6+dfsg-3_all.deb2025-May-14 23:24:4626.2Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_amd64.deb2021-Jan-27 23:57:13241.1Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_arm64.deb2021-Jan-28 17:43:01235.9Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_armhf.deb2021-Jan-28 08:42:54222.9Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_i386.deb2021-Jan-28 00:22:26203.9Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_amd64.deb2023-Jan-16 22:15:10286.9Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_arm64.deb2023-Jan-17 23:13:23289.4Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_armel.deb2023-Jan-17 21:26:45267.8Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_armhf.deb2023-Jan-17 13:32:25271.7Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_i386.deb2023-Jan-16 17:16:26247.5Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_mips64el.deb2023-Jan-23 14:58:23309.4Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_mipsel.deb2023-Jan-22 02:30:47284.5Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_ppc64el.deb2023-Jan-18 22:10:39291.5Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_s390x.deb2023-Jan-16 16:30:31267.3Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_amd64.deb2025-Apr-27 22:40:58415.5Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_arm64.deb2025-Apr-27 22:56:10412.4Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_armel.deb2025-Apr-28 00:17:05385.6Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_armhf.deb2025-Apr-28 20:17:54394.6Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_i386.deb2025-Apr-27 22:25:16344.2Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_ppc64el.deb2025-Apr-27 22:30:23429.7Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_riscv64.deb2025-May-02 04:29:20936.0Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-2_s390x.deb2025-Apr-28 06:56:37416.7Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_amd64.deb2025-May-14 23:40:10415.5Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_arm64.deb2025-May-15 16:47:48412.5Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_armel.deb2025-May-15 02:03:05385.8Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_armhf.deb2025-May-15 01:17:23394.6Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_i386.deb2025-May-15 01:27:34344.3Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_mips64el.deb2025-May-16 11:19:12440.6Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_ppc64el.deb2025-May-14 23:09:39429.8Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_riscv64.deb2025-May-19 06:00:19936.5Mapplication/vnd.debian.binary-package
acl2-books_8.6+dfsg-3_s390x.deb2025-May-15 05:09:08416.5Mapplication/vnd.debian.binary-package
acl2-doc_8.3dfsg-2_all.deb2021-Jan-28 04:25:23437.1Kapplication/vnd.debian.binary-package
acl2-doc_8.5dfsg-5_all.deb2023-Jan-16 16:55:57470.0Kapplication/vnd.debian.binary-package
acl2-doc_8.6+dfsg-2_all.deb2025-Apr-27 22:56:16512.6Kapplication/vnd.debian.binary-package
acl2-doc_8.6+dfsg-3_all.deb2025-May-14 23:24:46512.8Kapplication/vnd.debian.binary-package
acl2-emacs_8.3dfsg-2_all.deb2021-Jan-28 04:25:2367.8Kapplication/vnd.debian.binary-package
acl2-infix-source_8.3dfsg-2_all.deb2021-Jan-28 04:25:2378.0Kapplication/vnd.debian.binary-package
acl2-infix-source_8.5dfsg-5_all.deb2023-Jan-16 16:55:5770.6Kapplication/vnd.debian.binary-package
acl2-infix-source_8.6+dfsg-2_all.deb2025-Apr-27 22:56:1670.9Kapplication/vnd.debian.binary-package
acl2-infix-source_8.6+dfsg-3_all.deb2025-May-14 23:24:4671.1Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_amd64.deb2021-Jan-27 23:57:13478.8Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_arm64.deb2021-Jan-28 17:43:01469.4Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_armhf.deb2021-Jan-28 08:42:54478.2Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_i386.deb2021-Jan-28 00:22:26484.8Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_amd64.deb2023-Jan-16 22:15:10464.1Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_arm64.deb2023-Jan-17 23:13:23460.6Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_armel.deb2023-Jan-17 21:26:45459.0Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_armhf.deb2023-Jan-17 13:32:25472.3Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_i386.deb2023-Jan-16 17:16:26477.4Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_mips64el.deb2023-Jan-23 14:58:24490.5Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_mipsel.deb2023-Jan-22 02:30:47502.8Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_ppc64el.deb2023-Jan-18 22:10:39483.0Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_s390x.deb2023-Jan-16 16:30:31431.9Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_amd64.deb2025-Apr-27 22:40:58866.0Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_arm64.deb2025-Apr-27 22:56:10833.7Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_armel.deb2025-Apr-28 00:17:05814.6Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_armhf.deb2025-Apr-28 20:17:54845.5Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_i386.deb2025-Apr-27 22:25:16852.2Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_ppc64el.deb2025-Apr-27 22:30:23885.3Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_riscv64.deb2025-May-02 04:29:201.8Mapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-2_s390x.deb2025-Apr-28 06:56:37863.9Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_amd64.deb2025-May-14 23:40:10864.8Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_arm64.deb2025-May-15 16:47:48833.5Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_armel.deb2025-May-15 02:03:05813.2Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_armhf.deb2025-May-15 01:17:23846.4Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_i386.deb2025-May-15 01:27:34852.5Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_mips64el.deb2025-May-16 11:19:12874.9Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_ppc64el.deb2025-May-14 23:09:39881.9Kapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_riscv64.deb2025-May-19 06:00:191.8Mapplication/vnd.debian.binary-package
acl2-infix_8.6+dfsg-3_s390x.deb2025-May-15 05:09:08862.9Kapplication/vnd.debian.binary-package
acl2-source_8.3dfsg-2_all.deb2021-Jan-28 04:25:233.1Mapplication/vnd.debian.binary-package
acl2-source_8.5dfsg-5_all.deb2023-Jan-16 16:55:573.4Mapplication/vnd.debian.binary-package
acl2-source_8.6+dfsg-2_all.deb2025-Apr-27 22:56:163.8Mapplication/vnd.debian.binary-package
acl2-source_8.6+dfsg-3_all.deb2025-May-14 23:24:463.8Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2.debian.tar.xz2021-Jan-27 16:34:22222.9Kapplication/x-xz
acl2_8.3dfsg-2.dsc2021-Jan-27 16:34:222.2Ktext/prs.lines.tag
acl2_8.3dfsg-2_amd64.deb2021-Jan-27 23:57:1320.4Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_arm64.deb2021-Jan-28 17:43:0118.9Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_armhf.deb2021-Jan-28 08:42:5417.7Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_i386.deb2021-Jan-28 00:22:2718.5Mapplication/vnd.debian.binary-package
acl2_8.3dfsg.orig.tar.gz2020-Aug-24 05:39:38111.8Mapplication/x-gtar-compressed
acl2_8.5dfsg-5.debian.tar.xz2023-Jan-16 04:00:06305.5Kapplication/x-xz
acl2_8.5dfsg-5.dsc2023-Jan-16 04:00:062.2Ktext/prs.lines.tag
acl2_8.5dfsg-5_amd64.deb2023-Jan-16 22:15:1022.3Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_arm64.deb2023-Jan-17 23:13:2320.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_armel.deb2023-Jan-17 21:26:4518.1Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_armhf.deb2023-Jan-17 13:32:2518.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_i386.deb2023-Jan-16 17:16:2619.4Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_mips64el.deb2023-Jan-23 14:58:2419.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_mipsel.deb2023-Jan-22 02:30:4718.9Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_ppc64el.deb2023-Jan-18 22:10:4022.0Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_s390x.deb2023-Jan-16 16:30:3120.9Mapplication/vnd.debian.binary-package
acl2_8.5dfsg.orig.tar.gz2022-Jul-27 17:13:36213.1Mapplication/x-gtar-compressed
acl2_8.6+dfsg-2.debian.tar.xz2025-Apr-27 15:54:28434.7Kapplication/x-xz
acl2_8.6+dfsg-2.dsc2025-Apr-27 15:54:282.2Ktext/prs.lines.tag
acl2_8.6+dfsg-2_amd64.deb2025-Apr-27 22:40:5835.1Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_arm64.deb2025-Apr-27 22:56:1034.9Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_armel.deb2025-Apr-28 00:17:0536.1Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_armhf.deb2025-Apr-28 20:17:5436.5Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_i386.deb2025-Apr-27 22:25:1638.8Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_ppc64el.deb2025-Apr-27 22:30:2335.4Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_riscv64.deb2025-May-02 04:29:2135.4Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-2_s390x.deb2025-Apr-28 06:56:3738.0Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3.debian.tar.xz2025-May-14 17:10:11694.5Kapplication/x-xz
acl2_8.6+dfsg-3.dsc2025-May-14 17:10:112.2Ktext/prs.lines.tag
acl2_8.6+dfsg-3_amd64.deb2025-May-14 23:40:1035.4Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_arm64.deb2025-May-15 16:47:4836.4Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_armel.deb2025-May-15 02:03:0536.0Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_armhf.deb2025-May-15 01:17:2338.2Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_i386.deb2025-May-15 01:27:3439.1Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_mips64el.deb2025-May-16 11:19:1235.6Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_ppc64el.deb2025-May-14 23:09:3935.3Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_riscv64.deb2025-May-19 06:00:1935.3Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg-3_s390x.deb2025-May-15 05:09:0837.9Mapplication/vnd.debian.binary-package
acl2_8.6+dfsg.orig.tar.gz2025-Apr-27 00:21:59229.2Mapplication/x-gtar-compressed
elpa-acl2_8.5dfsg-5_all.deb2023-Jan-16 16:55:5768.9Kapplication/vnd.debian.binary-package
elpa-acl2_8.6+dfsg-2_all.deb2025-Apr-27 22:56:1676.4Kapplication/vnd.debian.binary-package
elpa-acl2_8.6+dfsg-3_all.deb2025-May-14 23:24:4676.6Kapplication/vnd.debian.binary-package
Orange Romania Communications