Index of /mirror/kali.org/kali/pool/main/a/acl2

	Name	Last modified	Size
	Parent Directory		-
	acl2-books-certs_8.5dfsg-5_all.deb	2023-01-16 15:55	170M
	acl2-books-source_8.5dfsg-5_all.deb	2023-01-16 15:55	24M
	acl2-books_8.5dfsg-5+b1_amd64.deb	2024-03-27 02:26	287M
	acl2-books_8.5dfsg-5+b1_arm64.deb	2024-03-27 00:49	290M
	acl2-books_8.5dfsg-5+b1_armel.deb	2024-03-27 22:25	270M
	acl2-books_8.5dfsg-5+b1_armhf.deb	2024-03-27 03:02	276M
	acl2-books_8.5dfsg-5+b1_i386.deb	2024-03-27 01:20	248M
	acl2-books_8.5dfsg-5_amd64.deb	2023-01-16 21:15	287M
	acl2-books_8.5dfsg-5_arm64.deb	2023-01-17 22:13	289M
	acl2-books_8.5dfsg-5_armel.deb	2023-01-17 20:26	268M
	acl2-books_8.5dfsg-5_armhf.deb	2023-01-17 12:32	272M
	acl2-books_8.5dfsg-5_i386.deb	2023-01-16 16:16	248M
	acl2-doc_8.5dfsg-5_all.deb	2023-01-16 15:55	470K
	acl2-infix-source_8.5dfsg-5_all.deb	2023-01-16 15:55	71K
	acl2-infix_8.5dfsg-5+b1_amd64.deb	2024-03-27 02:26	467K
	acl2-infix_8.5dfsg-5+b1_arm64.deb	2024-03-27 00:49	466K
	acl2-infix_8.5dfsg-5+b1_armel.deb	2024-03-27 22:25	460K
	acl2-infix_8.5dfsg-5+b1_armhf.deb	2024-03-27 03:02	475K
	acl2-infix_8.5dfsg-5+b1_i386.deb	2024-03-27 01:20	479K
	acl2-infix_8.5dfsg-5_amd64.deb	2023-01-16 21:15	464K
	acl2-infix_8.5dfsg-5_arm64.deb	2023-01-17 22:13	461K
	acl2-infix_8.5dfsg-5_armel.deb	2023-01-17 20:26	459K
	acl2-infix_8.5dfsg-5_armhf.deb	2023-01-17 12:32	472K
	acl2-infix_8.5dfsg-5_i386.deb	2023-01-16 16:16	477K
	acl2-source_8.5dfsg-5_all.deb	2023-01-16 15:55	3.4M
	acl2_8.5dfsg-5+b1_amd64.deb	2024-03-27 02:26	22M
	acl2_8.5dfsg-5+b1_arm64.deb	2024-03-27 00:49	21M
	acl2_8.5dfsg-5+b1_armel.deb	2024-03-27 22:25	18M
	acl2_8.5dfsg-5+b1_armhf.deb	2024-03-27 03:02	18M
	acl2_8.5dfsg-5+b1_i386.deb	2024-03-27 01:20	19M
	acl2_8.5dfsg-5.debian.tar.xz	2023-01-16 03:00	306K
	acl2_8.5dfsg-5.dsc	2023-01-16 03:00	2.2K
	acl2_8.5dfsg-5_amd64.deb	2023-01-16 21:15	22M
	acl2_8.5dfsg-5_arm64.deb	2023-01-17 22:13	21M
	acl2_8.5dfsg-5_armel.deb	2023-01-17 20:26	18M
	acl2_8.5dfsg-5_armhf.deb	2023-01-17 12:32	19M
	acl2_8.5dfsg-5_i386.deb	2023-01-16 16:16	19M
	acl2_8.5dfsg.orig.tar.gz	2022-07-27 16:13	213M
	elpa-acl2_8.5dfsg-5_all.deb	2023-01-16 15:55	69K