Index of /pub/kali/pool/main/a/acl2/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
acl2-books-certs_8.6+dfsg-3_all.deb2025-May-14 22:24:46211.6Mapplication/octet-stream
acl2-books-certs_8.7+dfsg-3_all.deb2026-Jul-17 23:29:22232.5Mapplication/octet-stream
acl2-books-source_8.6+dfsg-3_all.deb2025-May-14 22:24:4626.2Mapplication/octet-stream
acl2-books-source_8.7+dfsg-3_all.deb2026-Jul-17 23:29:2228.3Mapplication/octet-stream
acl2-books_8.6+dfsg-3+b1_arm64.deb2026-Jan-20 06:36:31409.8Mapplication/octet-stream
acl2-books_8.6+dfsg-3_amd64.deb2025-May-14 22:40:10415.5Mapplication/octet-stream
acl2-books_8.6+dfsg-3_armhf.deb2025-May-15 00:17:23394.6Mapplication/octet-stream
acl2-books_8.6+dfsg-3_i386.deb2025-May-15 00:27:34344.3Mapplication/octet-stream
acl2-books_8.7+dfsg-3_amd64.deb2026-Jul-17 23:19:09456.6Mapplication/octet-stream
acl2-books_8.7+dfsg-3_arm64.deb2026-Jul-17 22:32:00448.4Mapplication/octet-stream
acl2-books_8.7+dfsg-3_armhf.deb2026-Jul-18 00:27:44434.6Mapplication/octet-stream
acl2-books_8.7+dfsg-3_i386.deb2026-Jul-18 03:20:23397.5Mapplication/octet-stream
acl2-doc_8.6+dfsg-3_all.deb2025-May-14 22:24:46512.8Kapplication/octet-stream
acl2-doc_8.7+dfsg-3_all.deb2026-Jul-17 23:29:22533.3Kapplication/octet-stream
acl2-infix-source_8.6+dfsg-3_all.deb2025-May-14 22:24:4671.1Kapplication/octet-stream
acl2-infix-source_8.7+dfsg-3_all.deb2026-Jul-17 23:29:2270.2Kapplication/octet-stream
acl2-infix_8.6+dfsg-3+b1_arm64.deb2026-Jan-20 06:36:31825.7Kapplication/octet-stream
acl2-infix_8.6+dfsg-3_amd64.deb2025-May-14 22:40:10864.8Kapplication/octet-stream
acl2-infix_8.6+dfsg-3_armhf.deb2025-May-15 00:17:23846.4Kapplication/octet-stream
acl2-infix_8.6+dfsg-3_i386.deb2025-May-15 00:27:34852.5Kapplication/octet-stream
acl2-infix_8.7+dfsg-3_amd64.deb2026-Jul-17 23:19:09875.6Kapplication/octet-stream
acl2-infix_8.7+dfsg-3_arm64.deb2026-Jul-17 22:32:00843.8Kapplication/octet-stream
acl2-infix_8.7+dfsg-3_armhf.deb2026-Jul-18 00:27:44869.5Kapplication/octet-stream
acl2-infix_8.7+dfsg-3_i386.deb2026-Jul-18 03:20:23863.5Kapplication/octet-stream
acl2-source_8.6+dfsg-3_all.deb2025-May-14 22:24:463.8Mapplication/octet-stream
acl2-source_8.7+dfsg-3_all.deb2026-Jul-17 23:29:223.9Mapplication/octet-stream
acl2_8.6+dfsg-3+b1_arm64.deb2026-Jan-20 06:36:3135.0Mapplication/octet-stream
acl2_8.6+dfsg-3.debian.tar.xz2025-May-14 16:10:11694.5Kapplication/octet-stream
acl2_8.6+dfsg-3.dsc2025-May-14 16:10:112.2Kapplication/octet-stream
acl2_8.6+dfsg-3_amd64.deb2025-May-14 22:40:1035.4Mapplication/octet-stream
acl2_8.6+dfsg-3_armhf.deb2025-May-15 00:17:2338.2Mapplication/octet-stream
acl2_8.6+dfsg-3_i386.deb2025-May-15 00:27:3439.1Mapplication/octet-stream
acl2_8.6+dfsg.orig.tar.gz2025-Apr-26 23:21:59229.2Mapplication/x-gzip
acl2_8.7+dfsg-3.debian.tar.xz2026-Jul-17 17:14:11880.8Kapplication/octet-stream
acl2_8.7+dfsg-3.dsc2026-Jul-17 17:14:112.2Kapplication/octet-stream
acl2_8.7+dfsg-3_amd64.deb2026-Jul-17 23:19:0934.2Mapplication/octet-stream
acl2_8.7+dfsg-3_arm64.deb2026-Jul-17 22:32:0031.0Mapplication/octet-stream
acl2_8.7+dfsg-3_armhf.deb2026-Jul-18 00:27:4433.2Mapplication/octet-stream
acl2_8.7+dfsg-3_i386.deb2026-Jul-18 03:20:2335.1Mapplication/octet-stream
acl2_8.7+dfsg.orig.tar.gz2026-Jun-17 10:01:39238.2Mapplication/x-gzip
elpa-acl2_8.6+dfsg-3_all.deb2025-May-14 22:24:4676.6Kapplication/octet-stream
elpa-acl2_8.7+dfsg-3_all.deb2026-Jul-17 23:29:2275.7Kapplication/octet-stream
lighttpd/1.4.19