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-2_all.deb2026-Jun-17 23:12:49232.1Mapplication/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-2_all.deb2026-Jun-17 23:12:4928.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-2_amd64.deb2026-Jun-17 23:23:20456.5Mapplication/octet-stream
acl2-books_8.7+dfsg-2_arm64.deb2026-Jun-17 22:31:54448.0Mapplication/octet-stream
acl2-books_8.7+dfsg-2_armhf.deb2026-Jun-18 03:08:48434.8Mapplication/octet-stream
acl2-books_8.7+dfsg-2_i386.deb2026-Jun-18 03:39:47397.6Mapplication/octet-stream
acl2-doc_8.6+dfsg-3_all.deb2025-May-14 22:24:46512.8Kapplication/octet-stream
acl2-doc_8.7+dfsg-2_all.deb2026-Jun-17 23:12:49533.2Kapplication/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-2_all.deb2026-Jun-17 23:12:4970.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-2_amd64.deb2026-Jun-17 23:23:20873.5Kapplication/octet-stream
acl2-infix_8.7+dfsg-2_arm64.deb2026-Jun-17 22:31:54844.0Kapplication/octet-stream
acl2-infix_8.7+dfsg-2_armhf.deb2026-Jun-18 03:08:48872.3Kapplication/octet-stream
acl2-infix_8.7+dfsg-2_i386.deb2026-Jun-18 03:39:47864.4Kapplication/octet-stream
acl2-source_8.6+dfsg-3_all.deb2025-May-14 22:24:463.8Mapplication/octet-stream
acl2-source_8.7+dfsg-2_all.deb2026-Jun-17 23:12:493.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-2.debian.tar.xz2026-Jun-17 16:31:28880.8Kapplication/octet-stream
acl2_8.7+dfsg-2.dsc2026-Jun-17 16:31:282.2Kapplication/octet-stream
acl2_8.7+dfsg-2_amd64.deb2026-Jun-17 23:23:2035.6Mapplication/octet-stream
acl2_8.7+dfsg-2_arm64.deb2026-Jun-17 22:31:5436.1Mapplication/octet-stream
acl2_8.7+dfsg-2_armhf.deb2026-Jun-18 03:08:4838.0Mapplication/octet-stream
acl2_8.7+dfsg-2_i386.deb2026-Jun-18 03:39:4737.9Mapplication/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-2_all.deb2026-Jun-17 23:12:4975.7Kapplication/octet-stream
lighttpd/1.4.19