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

NameLast ModifiedSizeType
../ -  Directory
acl2-books-certs_8.7+dfsg-3_all.deb2026-Jul-18 06:29:22232.5Mapplication/vnd.debian.binary-package
acl2-books-source_8.7+dfsg-3_all.deb2026-Jul-18 06:29:2228.3Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-3_amd64.deb2026-Jul-18 06:19:09456.6Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-3_arm64.deb2026-Jul-18 05:32:00448.4Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-3_armhf.deb2026-Jul-18 07:27:44434.6Mapplication/vnd.debian.binary-package
acl2-books_8.7+dfsg-3_i386.deb2026-Jul-18 10:20:23397.5Mapplication/vnd.debian.binary-package
acl2-doc_8.7+dfsg-3_all.deb2026-Jul-18 06:29:22533.3Kapplication/vnd.debian.binary-package
acl2-infix-source_8.7+dfsg-3_all.deb2026-Jul-18 06:29:2270.2Kapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-3_amd64.deb2026-Jul-18 06:19:09875.6Kapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-3_arm64.deb2026-Jul-18 05:32:00843.8Kapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-3_armhf.deb2026-Jul-18 07:27:44869.5Kapplication/vnd.debian.binary-package
acl2-infix_8.7+dfsg-3_i386.deb2026-Jul-18 10:20:23863.5Kapplication/vnd.debian.binary-package
acl2-source_8.7+dfsg-3_all.deb2026-Jul-18 06:29:223.9Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-3.debian.tar.xz2026-Jul-18 00:14:11880.8Kapplication/x-xz
acl2_8.7+dfsg-3.dsc2026-Jul-18 00:14:112.2Kapplication/octet-stream
acl2_8.7+dfsg-3_amd64.deb2026-Jul-18 06:19:0934.2Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-3_arm64.deb2026-Jul-18 05:32:0031.0Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-3_armhf.deb2026-Jul-18 07:27:4433.2Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg-3_i386.deb2026-Jul-18 10:20:2335.1Mapplication/vnd.debian.binary-package
acl2_8.7+dfsg.orig.tar.gz2026-Jun-17 17:01:39238.2Mapplication/x-gtar-compressed
elpa-acl2_8.7+dfsg-3_all.deb2026-Jul-18 06:29:2275.7Kapplication/vnd.debian.binary-package
Tsukuba WIDE public mirror service