Index of /pool/main/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	elpa-acl2_8.5dfsg-1_all.deb	2022-07-28 01:44	77K
	acl2_8.5dfsg.orig.tar.gz	2022-07-27 14:13	213M
	acl2_8.5dfsg-1_i386.deb	2022-07-28 04:56	19M
	acl2_8.5dfsg-1_armhf.deb	2022-07-29 08:42	18M
	acl2_8.5dfsg-1_armel.deb	2022-07-31 20:14	18M
	acl2_8.5dfsg-1_arm64.deb	2022-07-28 20:28	20M
	acl2_8.5dfsg-1_amd64.deb	2022-07-28 01:59	22M
	acl2_8.5dfsg-1.dsc	2022-07-27 14:13	2.2K
	acl2_8.5dfsg-1.debian.tar.xz	2022-07-27 14:13	305K
	acl2-source_8.5dfsg-1_all.deb	2022-07-28 01:44	3.4M
	acl2-infix_8.5dfsg-1_i386.deb	2022-07-28 04:56	486K
	acl2-infix_8.5dfsg-1_armhf.deb	2022-07-29 08:42	480K
	acl2-infix_8.5dfsg-1_armel.deb	2022-07-31 20:14	467K
	acl2-infix_8.5dfsg-1_arm64.deb	2022-07-28 20:28	469K
	acl2-infix_8.5dfsg-1_amd64.deb	2022-07-28 01:59	472K
	acl2-infix-source_8.5dfsg-1_all.deb	2022-07-28 01:44	78K
	acl2-doc_8.5dfsg-1_all.deb	2022-07-28 01:44	478K
	acl2-books_8.5dfsg-1_i386.deb	2022-07-28 04:56	253M
	acl2-books_8.5dfsg-1_armhf.deb	2022-07-29 08:42	272M
	acl2-books_8.5dfsg-1_armel.deb	2022-07-31 20:14	268M
	acl2-books_8.5dfsg-1_arm64.deb	2022-07-28 20:28	289M
	acl2-books_8.5dfsg-1_amd64.deb	2022-07-28 01:59	293M
	acl2-books-source_8.5dfsg-1_all.deb	2022-07-28 01:44	24M
	acl2-books-certs_8.5dfsg-1_all.deb	2022-07-28 01:44	174M