Index of /mirror/marvin/0/ubuntu_arm64/pool/main/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books-certs_8.0dfsg-1_all.deb	2020-04-28 16:03	70M
	acl2-books-certs_8.2dfsg-3build1_all.deb	2021-03-16 13:55	66M
	acl2-books-source_8.0dfsg-1_all.deb	2020-04-28 16:11	12M
	acl2-books-source_8.2dfsg-3build1_all.deb	2021-03-16 13:58	14M
	acl2-books_8.0dfsg-1_arm64.deb	2020-04-28 16:40	135M
	acl2-books_8.2dfsg-3build1_arm64.deb	2021-03-16 17:28	161M
	acl2-doc_8.0dfsg-1_all.deb	2020-04-28 16:09	385K
	acl2-doc_8.2dfsg-3build1_all.deb	2021-03-16 13:51	418K
	acl2-emacs_8.0dfsg-1_all.deb	2020-04-28 16:09	59K
	acl2-emacs_8.2dfsg-3build1_all.deb	2021-03-16 13:50	59K
	acl2-infix-source_8.0dfsg-1_all.deb	2020-04-28 16:12	70K
	acl2-infix-source_8.2dfsg-3build1_all.deb	2021-03-16 13:56	70K
	acl2-infix_8.0dfsg-1_arm64.deb	2020-04-28 16:41	421K
	acl2-infix_8.2dfsg-3build1_arm64.deb	2021-03-16 17:23	461K
	acl2-source_8.0dfsg-1_all.deb	2020-04-28 16:18	2.9M
	acl2-source_8.2dfsg-3build1_all.deb	2021-03-16 13:46	3.1M
	acl2_8.0dfsg-1_arm64.deb	2020-04-28 16:38	17M
	acl2_8.2dfsg-3build1_arm64.deb	2021-03-16 17:31	19M