Index of /mirror/marvin/0/ubuntu_amd64/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_amd64.deb	2020-04-28 16:11	132M
	acl2-books_8.2dfsg-3build1_amd64.deb	2021-03-16 13:35	163M
	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_amd64.deb	2020-04-28 16:13	414K
	acl2-infix_8.2dfsg-3build1_amd64.deb	2021-03-16 13:34	470K
	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_amd64.deb	2020-04-28 16:02	19M
	acl2_8.2dfsg-3build1_amd64.deb	2021-03-16 13:37	21M