Index of /pool/main/a/acl2/

NameLast ModifiedSizeType
../ -  Directory
acl2-books-certs_8.0dfsg-1_all.deb2018-Jan-13 14:52:5769.9Mapplication/vnd.debian.binary-package
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-source_8.0dfsg-1_all.deb2018-Jan-13 14:52:5711.9Mapplication/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_8.0dfsg-1+b1_armel.deb2019-Feb-14 14:00:45127.2Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_amd64.deb2018-Jan-13 14:52:59131.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_arm64.deb2018-Jan-14 03:47:41134.8Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_armhf.deb2018-Jan-15 09:46:11119.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_i386.deb2018-Jan-13 22:26:14110.6Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_mips.deb2018-Jan-16 07:15:21126.0Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_mips64el.deb2018-Jan-16 04:44:09140.0Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_mipsel.deb2018-Jan-16 06:14:20130.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_ppc64el.deb2018-Jan-13 21:26:05130.4Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_s390x.deb2018-Jan-13 21:41:09121.8Mapplication/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_armel.deb2021-Jan-28 08:13:11218.3Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_armhf.deb2021-Jan-28 07:42:54222.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.3dfsg-2_mips64el.deb2021-Jan-30 20:12:15253.6Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_mipsel.deb2021-Jan-29 10:42:16227.9Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_ppc64el.deb2021-Jan-28 00:44:10244.7Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_s390x.deb2021-Jan-28 03:35:29218.9Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5+b1_amd64.deb2024-Mar-27 02:26:47287.3Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5+b1_arm64.deb2024-Mar-27 00:49:30289.9Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5+b1_armel.deb2024-Mar-27 22:25:38270.3Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5+b1_armhf.deb2024-Mar-27 03:02:05275.8Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5+b1_i386.deb2024-Mar-27 01:20:29247.5Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5+b1_ppc64el.deb2024-Mar-27 00:39:13291.2Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5+b1_s390x.deb2024-Mar-26 22:38:57281.4Mapplication/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_armhf.deb2023-Jan-17 12:32:25271.7Mapplication/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_mipsel.deb2023-Jan-22 01:30:47284.5Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_ppc64el.deb2023-Jan-18 21:10:39291.5Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_riscv64.deb2024-Feb-28 19:16:59720.0Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_s390x.deb2023-Jan-16 15:30:31267.3Mapplication/vnd.debian.binary-package
acl2-doc_8.0dfsg-1_all.deb2018-Jan-13 14:52:59392.1Kapplication/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-emacs_8.0dfsg-1_all.deb2018-Jan-13 14:52:5966.0Kapplication/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.0dfsg-1_all.deb2018-Jan-13 14:52:5977.3Kapplication/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_8.0dfsg-1+b1_armel.deb2019-Feb-14 14:00:45431.8Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_amd64.deb2018-Jan-13 14:52:59421.9Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_arm64.deb2018-Jan-14 03:47:41432.4Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_armhf.deb2018-Jan-15 09:46:11406.5Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_i386.deb2018-Jan-13 22:26:14389.9Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_mips.deb2018-Jan-16 07:15:21421.1Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_mips64el.deb2018-Jan-16 04:44:09439.8Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_mipsel.deb2018-Jan-16 06:14:20441.7Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_ppc64el.deb2018-Jan-13 21:26:05434.0Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_s390x.deb2018-Jan-13 21:41:09397.0Kapplication/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_armel.deb2021-Jan-28 08:13:11462.9Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_armhf.deb2021-Jan-28 07:42:54478.2Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_i386.deb2021-Jan-27 23:22:26484.8Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_mips64el.deb2021-Jan-30 20:12:15503.3Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_mipsel.deb2021-Jan-29 10:42:16508.9Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_ppc64el.deb2021-Jan-28 00:44:10497.8Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_s390x.deb2021-Jan-28 03:35:29434.9Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5+b1_amd64.deb2024-Mar-27 02:26:47467.1Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5+b1_arm64.deb2024-Mar-27 00:49:30466.0Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5+b1_armel.deb2024-Mar-27 22:25:38460.1Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5+b1_armhf.deb2024-Mar-27 03:02:05475.3Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5+b1_i386.deb2024-Mar-27 01:20:29478.9Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5+b1_ppc64el.deb2024-Mar-27 00:39:13488.5Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5+b1_s390x.deb2024-Mar-26 22:38:57468.1Kapplication/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_armhf.deb2023-Jan-17 12:32:25472.3Kapplication/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_mipsel.deb2023-Jan-22 01:30:47502.8Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_ppc64el.deb2023-Jan-18 21:10:39483.0Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_riscv64.deb2024-Feb-28 19:16:591.0Mapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_s390x.deb2023-Jan-16 15:30:31431.9Kapplication/vnd.debian.binary-package
acl2-source_8.0dfsg-1_all.deb2018-Jan-13 14:52:592.9Mapplication/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_8.0dfsg-1+b1_armel.deb2019-Feb-14 14:00:4515.9Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1.debian.tar.xz2018-Jan-13 14:52:57199.9Kapplication/x-xz
acl2_8.0dfsg-1.dsc2018-Jan-13 14:52:562.1Kapplication/octet-stream
acl2_8.0dfsg-1_amd64.deb2018-Jan-13 14:52:5918.9Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_arm64.deb2018-Jan-14 03:47:4217.0Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_armhf.deb2018-Jan-15 09:46:1215.4Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_i386.deb2018-Jan-13 22:26:1416.2Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_mips.deb2018-Jan-16 07:15:2116.5Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_mips64el.deb2018-Jan-16 04:44:0916.4Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_mipsel.deb2018-Jan-16 06:14:2016.6Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_ppc64el.deb2018-Jan-13 21:26:0518.5Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_s390x.deb2018-Jan-13 21:41:0917.2Mapplication/vnd.debian.binary-package
acl2_8.0dfsg.orig.tar.gz2018-Jan-13 14:52:5774.0Mapplication/gzip
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_armel.deb2021-Jan-28 08:13:1117.5Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_armhf.deb2021-Jan-28 07:42:5417.7Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_i386.deb2021-Jan-27 23:22:2718.5Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_mips64el.deb2021-Jan-30 20:12:1618.3Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_mipsel.deb2021-Jan-29 10:42:1618.8Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_ppc64el.deb2021-Jan-28 00:44:1021.5Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_s390x.deb2021-Jan-28 03:35:2919.7Mapplication/vnd.debian.binary-package
acl2_8.3dfsg.orig.tar.gz2020-Aug-24 04:39:38111.8Mapplication/gzip
acl2_8.5dfsg-5+b1_amd64.deb2024-Mar-27 02:26:4722.3Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5+b1_arm64.deb2024-Mar-27 00:49:3020.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5+b1_armel.deb2024-Mar-27 22:25:3818.3Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5+b1_armhf.deb2024-Mar-27 03:02:0518.3Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5+b1_i386.deb2024-Mar-27 01:20:3019.4Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5+b1_ppc64el.deb2024-Mar-27 00:39:1321.9Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5+b1_s390x.deb2024-Mar-26 22:38:5722.4Mapplication/vnd.debian.binary-package
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_armhf.deb2023-Jan-17 12:32:2518.6Mapplication/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_mipsel.deb2023-Jan-22 01:30:4718.9Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_ppc64el.deb2023-Jan-18 21:10:4022.0Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_riscv64.deb2024-Feb-28 19:16:5921.2Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_s390x.deb2023-Jan-16 15:30:3120.9Mapplication/vnd.debian.binary-package
acl2_8.5dfsg.orig.tar.gz2022-Jul-27 16:13:36213.1Mapplication/gzip
elpa-acl2_8.5dfsg-5_all.deb2023-Jan-16 15:55:5768.9Kapplication/vnd.debian.binary-package
lighttpd/1.4.45