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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
acl2-books-certs_8.5dfsg-6_all.deb2024-Jul-29 01:44:1664.1Mapplication/octet-stream
acl2-books-source_8.5dfsg-6_all.deb2024-Jul-29 01:44:1723.5Mapplication/octet-stream
acl2-books_8.5dfsg-6_amd64.deb2024-Jul-29 01:18:52151.0Mapplication/octet-stream
acl2-books_8.5dfsg-6_arm64.deb2024-Jul-29 01:18:49148.7Mapplication/octet-stream
acl2-books_8.5dfsg-6_armel.deb2024-Jul-29 02:25:21142.2Mapplication/octet-stream
acl2-books_8.5dfsg-6_armhf.deb2024-Jul-29 09:35:56144.1Mapplication/octet-stream
acl2-books_8.5dfsg-6_i386.deb2024-Jul-29 01:49:19132.8Mapplication/octet-stream
acl2-doc_8.5dfsg-6_all.deb2024-Jul-29 01:44:17470.1Kapplication/octet-stream
acl2-infix-source_8.5dfsg-6_all.deb2024-Jul-29 01:44:1770.7Kapplication/octet-stream
acl2-infix_8.5dfsg-6_amd64.deb2024-Jul-29 01:18:52465.1Kapplication/octet-stream
acl2-infix_8.5dfsg-6_arm64.deb2024-Jul-29 01:18:49454.9Kapplication/octet-stream
acl2-infix_8.5dfsg-6_armel.deb2024-Jul-29 02:25:21458.5Kapplication/octet-stream
acl2-infix_8.5dfsg-6_armhf.deb2024-Jul-29 09:35:56474.7Kapplication/octet-stream
acl2-infix_8.5dfsg-6_i386.deb2024-Jul-29 01:49:19475.2Kapplication/octet-stream
acl2-source_8.5dfsg-6_all.deb2024-Jul-29 01:44:173.4Mapplication/octet-stream
acl2_8.5dfsg-6.debian.tar.xz2024-Jul-28 18:31:09305.5Kapplication/octet-stream
acl2_8.5dfsg-6.dsc2024-Jul-28 18:31:092.2Kapplication/octet-stream
acl2_8.5dfsg-6_amd64.deb2024-Jul-29 01:18:5222.0Mapplication/octet-stream
acl2_8.5dfsg-6_arm64.deb2024-Jul-29 01:18:4920.1Mapplication/octet-stream
acl2_8.5dfsg-6_armel.deb2024-Jul-29 02:25:2118.0Mapplication/octet-stream
acl2_8.5dfsg-6_armhf.deb2024-Jul-29 09:35:5618.4Mapplication/octet-stream
acl2_8.5dfsg-6_i386.deb2024-Jul-29 01:49:1919.1Mapplication/octet-stream
acl2_8.5dfsg.orig.tar.gz2022-Jul-27 16:13:36213.1Mapplication/x-gzip
elpa-acl2_8.5dfsg-6_all.deb2024-Jul-29 01:44:1769.0Kapplication/octet-stream
lighttpd/1.4.19