Index of /mirror/release/1/ubuntu_arm64/pool/main/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books-certs_8.2dfsg-3build1_all.deb	2021-03-16 13:55	66M
	acl2-books-certs_8.4dfsg-2_all.deb	2024-11-14 08:46	221M
	acl2-books-source_8.2dfsg-3build1_all.deb	2021-03-16 13:58	14M
	acl2-books-source_8.4dfsg-2_all.deb	2024-11-14 08:45	21M
	acl2-books_8.2dfsg-3build1_arm64.deb	2021-03-16 17:28	161M
	acl2-books_8.4dfsg-2_arm64.deb	2024-11-14 15:03	335M
	acl2-doc_8.2dfsg-3build1_all.deb	2021-03-16 13:51	418K
	acl2-doc_8.4dfsg-2_all.deb	2024-11-14 08:54	441K
	acl2-emacs_8.2dfsg-3build1_all.deb	2021-03-16 13:50	59K
	acl2-infix-source_8.2dfsg-3build1_all.deb	2021-03-16 13:56	70K
	acl2-infix-source_8.4dfsg-2_all.deb	2024-11-14 08:27	72K
	acl2-infix_8.2dfsg-3build1_arm64.deb	2021-03-16 17:23	461K
	acl2-infix_8.4dfsg-2_arm64.deb	2024-11-14 15:11	559K
	acl2-source_8.2dfsg-3build1_all.deb	2021-03-16 13:46	3.1M
	acl2-source_8.4dfsg-2_all.deb	2024-11-14 08:55	3.4M
	acl2_8.2dfsg-3build1_arm64.deb	2021-03-16 17:31	19M
	acl2_8.4dfsg-2_arm64.deb	2024-11-14 15:10	24M
	elpa-acl2_8.4dfsg-2_all.deb	2024-11-14 08:45	69K