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

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books-certs_8.7+dfsg-3_all.deb	2026-07-18 06:29	233M
	acl2-books-source_8.7+dfsg-3_all.deb	2026-07-18 06:29	28M
	acl2-books_8.7+dfsg-3_amd64.deb	2026-07-18 06:19	457M
	acl2-books_8.7+dfsg-3_arm64.deb	2026-07-18 05:32	448M
	acl2-books_8.7+dfsg-3_armhf.deb	2026-07-18 07:27	435M
	acl2-books_8.7+dfsg-3_i386.deb	2026-07-18 10:20	398M
	acl2-doc_8.7+dfsg-3_all.deb	2026-07-18 06:29	533K
	acl2-infix-source_8.7+dfsg-3_all.deb	2026-07-18 06:29	70K
	acl2-infix_8.7+dfsg-3_amd64.deb	2026-07-18 06:19	876K
	acl2-infix_8.7+dfsg-3_arm64.deb	2026-07-18 05:32	844K
	acl2-infix_8.7+dfsg-3_armhf.deb	2026-07-18 07:27	870K
	acl2-infix_8.7+dfsg-3_i386.deb	2026-07-18 10:20	864K
	acl2-source_8.7+dfsg-3_all.deb	2026-07-18 06:29	3.9M
	acl2_8.7+dfsg-3.debian.tar.xz	2026-07-18 00:14	881K
	acl2_8.7+dfsg-3.dsc	2026-07-18 00:14	2.2K
	acl2_8.7+dfsg-3_amd64.deb	2026-07-18 06:19	34M
	acl2_8.7+dfsg-3_arm64.deb	2026-07-18 05:32	31M
	acl2_8.7+dfsg-3_armhf.deb	2026-07-18 07:27	33M
	acl2_8.7+dfsg-3_i386.deb	2026-07-18 10:20	35M
	acl2_8.7+dfsg.orig.tar.gz	2026-06-17 17:01	238M
	elpa-acl2_8.7+dfsg-3_all.deb	2026-07-18 06:29	76K