Index of /ubuntu/pool/universe/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books-certs_8.5dfsg-5build3_all.deb	2024-04-02 04:03	216M
	acl2-books-certs_8.6+dfsg-3build1_all.deb	2026-02-04 01:32	267M
	acl2-books-source_8.5dfsg-5build3_all.deb	2024-04-02 04:02	23M
	acl2-books-source_8.6+dfsg-3build1_all.deb	2026-02-04 01:32	26M
	acl2-books_8.5dfsg-5build3_amd64.deb	2024-04-02 04:03	331M
	acl2-books_8.6+dfsg-3build1_amd64.deb	2026-02-04 01:32	467M
	acl2-doc_8.5dfsg-5build3_all.deb	2024-04-02 04:02	474K
	acl2-doc_8.6+dfsg-3build1_all.deb	2026-02-04 01:32	516K
	acl2-infix-source_8.5dfsg-5build3_all.deb	2024-04-02 04:02	72K
	acl2-infix-source_8.6+dfsg-3build1_all.deb	2026-02-04 01:32	73K
	acl2-infix_8.5dfsg-5build3_amd64.deb	2024-04-02 04:02	538K
	acl2-infix_8.6+dfsg-3build1_amd64.deb	2026-02-04 01:32	1.0M
	acl2-source_8.5dfsg-5build3_all.deb	2024-04-02 04:02	3.5M
	acl2-source_8.6+dfsg-3build1_all.deb	2026-02-04 01:32	3.9M
	acl2_8.5dfsg-5build3.debian.tar.xz	2024-04-01 01:43	306K
	acl2_8.5dfsg-5build3.dsc	2024-04-01 01:43	2.3K
	acl2_8.5dfsg-5build3_amd64.deb	2024-04-02 04:03	26M
	acl2_8.5dfsg.orig.tar.gz	2022-07-27 19:33	213M
	acl2_8.6+dfsg-3build1.debian.tar.xz	2026-02-03 17:43	694K
	acl2_8.6+dfsg-3build1.dsc	2026-02-03 17:43	2.3K
	acl2_8.6+dfsg-3build1_amd64.deb	2026-02-04 01:32	47M
	acl2_8.6+dfsg.orig.tar.gz	2025-05-01 12:25	229M
	elpa-acl2_8.5dfsg-5build3_all.deb	2024-04-02 04:02	71K
	elpa-acl2_8.6+dfsg-3build1_all.deb	2026-02-04 01:32	79K