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-3_all.deb	2025-05-15 03:30	268M
	acl2-books-source_8.5dfsg-5build3_all.deb	2024-04-02 04:02	23M
	acl2-books-source_8.6+dfsg-3_all.deb	2025-05-15 03:30	26M
	acl2-books_8.5dfsg-5build3_amd64.deb	2024-04-02 04:03	331M
	acl2-books_8.6+dfsg-3_amd64.deb	2025-05-15 03:30	469M
	acl2-doc_8.5dfsg-5build3_all.deb	2024-04-02 04:02	474K
	acl2-doc_8.6+dfsg-3_all.deb	2025-05-15 03:30	516K
	acl2-infix-source_8.5dfsg-5build3_all.deb	2024-04-02 04:02	72K
	acl2-infix-source_8.6+dfsg-3_all.deb	2025-05-15 03:30	73K
	acl2-infix_8.5dfsg-5build3_amd64.deb	2024-04-02 04:02	538K
	acl2-infix_8.6+dfsg-3_amd64.deb	2025-05-15 03:30	1.0M
	acl2-source_8.5dfsg-5build3_all.deb	2024-04-02 04:02	3.5M
	acl2-source_8.6+dfsg-3_all.deb	2025-05-15 03:30	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-3.debian.tar.xz	2025-05-14 20:36	695K
	acl2_8.6+dfsg-3.dsc	2025-05-14 20:35	2.2K
	acl2_8.6+dfsg-3_amd64.deb	2025-05-15 03:30	45M
	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-3_all.deb	2025-05-15 03:30	79K