Index of /mirror/release/1/ubuntu_amd64/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_amd64.deb	2021-03-16 13:35	163M
	acl2-books_8.4dfsg-2_amd64.deb	2024-11-14 08:42	338M
	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_amd64.deb	2021-03-16 13:34	470K
	acl2-infix_8.4dfsg-2_amd64.deb	2024-11-14 08:46	551K
	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_amd64.deb	2021-03-16 13:37	21M
	acl2_8.4dfsg-2_amd64.deb	2024-11-14 08:42	25M
	elpa-acl2_8.4dfsg-2_all.deb	2024-11-14 08:45	69K