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

NameLast ModifiedSizeType
../ -  Directory
acl2-books-certs_8.0dfsg-1_all.deb2018-Jan-13 08:52:5769.9Mapplication/vnd.debian.binary-package
acl2-books-certs_8.3dfsg-2_all.deb2021-Jan-27 21:25:23138.6Mapplication/vnd.debian.binary-package
acl2-books-certs_8.5dfsg-5_all.deb2023-Jan-16 09:55:57170.1Mapplication/vnd.debian.binary-package
acl2-books-source_8.0dfsg-1_all.deb2018-Jan-13 08:52:5711.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.3dfsg-2_all.deb2021-Jan-27 21:25:2318.6Mapplication/vnd.debian.binary-package
acl2-books-source_8.5dfsg-5_all.deb2023-Jan-16 09:55:5723.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_amd64.deb2018-Jan-13 08:52:59131.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_arm64.deb2018-Jan-13 21:47:41134.8Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_armhf.deb2018-Jan-15 03:46:11119.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_i386.deb2018-Jan-13 16:26:14110.6Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_amd64.deb2021-Jan-27 16:57:13241.1Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_arm64.deb2021-Jan-28 10:43:01235.9Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_armhf.deb2021-Jan-28 01:42:54222.9Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_i386.deb2021-Jan-27 17:22:26203.9Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5+b1_amd64.deb2024-Mar-26 21:26:47287.3Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5+b1_arm64.deb2024-Mar-26 19:49:30289.9Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5+b1_armhf.deb2024-Mar-26 22:02:05275.8Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5+b1_i386.deb2024-Mar-26 20:20:29247.5Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_amd64.deb2023-Jan-16 15:15:10286.9Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_arm64.deb2023-Jan-17 16:13:23289.4Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_armhf.deb2023-Jan-17 06:32:25271.7Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_i386.deb2023-Jan-16 10:16:26247.5Mapplication/vnd.debian.binary-package
acl2-doc_8.0dfsg-1_all.deb2018-Jan-13 08:52:59392.1Kapplication/vnd.debian.binary-package
acl2-doc_8.3dfsg-2_all.deb2021-Jan-27 21:25:23437.1Kapplication/vnd.debian.binary-package
acl2-doc_8.5dfsg-5_all.deb2023-Jan-16 09:55:57470.0Kapplication/vnd.debian.binary-package
acl2-emacs_8.0dfsg-1_all.deb2018-Jan-13 08:52:5966.0Kapplication/vnd.debian.binary-package
acl2-emacs_8.3dfsg-2_all.deb2021-Jan-27 21:25:2367.8Kapplication/vnd.debian.binary-package
acl2-infix-source_8.0dfsg-1_all.deb2018-Jan-13 08:52:5977.3Kapplication/vnd.debian.binary-package
acl2-infix-source_8.3dfsg-2_all.deb2021-Jan-27 21:25:2378.0Kapplication/vnd.debian.binary-package
acl2-infix-source_8.5dfsg-5_all.deb2023-Jan-16 09:55:5770.6Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_amd64.deb2018-Jan-13 08:52:59421.9Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_arm64.deb2018-Jan-13 21:47:41432.4Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_armhf.deb2018-Jan-15 03:46:11406.5Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_i386.deb2018-Jan-13 16:26:14389.9Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_amd64.deb2021-Jan-27 16:57:13478.8Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_arm64.deb2021-Jan-28 10:43:01469.4Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_armhf.deb2021-Jan-28 01:42:54478.2Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_i386.deb2021-Jan-27 17:22:26484.8Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5+b1_amd64.deb2024-Mar-26 21:26:47467.1Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5+b1_arm64.deb2024-Mar-26 19:49:30466.0Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5+b1_armhf.deb2024-Mar-26 22:02:05475.3Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5+b1_i386.deb2024-Mar-26 20:20:29478.9Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_amd64.deb2023-Jan-16 15:15:10464.1Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_arm64.deb2023-Jan-17 16:13:23460.6Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_armhf.deb2023-Jan-17 06:32:25472.3Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_i386.deb2023-Jan-16 10:16:26477.4Kapplication/vnd.debian.binary-package
acl2-source_8.0dfsg-1_all.deb2018-Jan-13 08:52:592.9Mapplication/vnd.debian.binary-package
acl2-source_8.3dfsg-2_all.deb2021-Jan-27 21:25:233.1Mapplication/vnd.debian.binary-package
acl2-source_8.5dfsg-5_all.deb2023-Jan-16 09:55:573.4Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_amd64.deb2018-Jan-13 08:52:5918.9Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_arm64.deb2018-Jan-13 21:47:4217.0Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_armhf.deb2018-Jan-15 03:46:1215.4Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_i386.deb2018-Jan-13 16:26:1416.2Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_amd64.deb2021-Jan-27 16:57:1320.4Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_arm64.deb2021-Jan-28 10:43:0118.9Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_armhf.deb2021-Jan-28 01:42:5417.7Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_i386.deb2021-Jan-27 17:22:2718.5Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5+b1_amd64.deb2024-Mar-26 21:26:4722.3Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5+b1_arm64.deb2024-Mar-26 19:49:3020.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5+b1_armhf.deb2024-Mar-26 22:02:0518.3Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5+b1_i386.deb2024-Mar-26 20:20:3019.4Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_amd64.deb2023-Jan-16 15:15:1022.3Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_arm64.deb2023-Jan-17 16:13:2320.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_armhf.deb2023-Jan-17 06:32:2518.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_i386.deb2023-Jan-16 10:16:2619.4Mapplication/vnd.debian.binary-package
elpa-acl2_8.5dfsg-5_all.deb2023-Jan-16 09:55:5768.9Kapplication/vnd.debian.binary-package
lighttpd/1.4.53