Index of /ubuntu/pool/universe/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-infix-source_8.4dfsg-2_all.deb	2021-12-19 02:10	72K
	acl2-books-source_8.4dfsg-2_all.deb	2021-12-19 02:10	21M
	acl2_8.4dfsg-2_amd64.deb	2021-12-19 02:10	25M
	acl2-books-certs_8.4dfsg-2_all.deb	2021-12-19 02:10	221M
	acl2-source_8.4dfsg-2_all.deb	2021-12-19 02:10	3.4M
	acl2-doc_8.4dfsg-2_all.deb	2021-12-19 02:09	441K
	acl2-books_8.4dfsg-2_amd64.deb	2021-12-19 02:09	338M
	elpa-acl2_8.4dfsg-2_all.deb	2021-12-19 02:09	69K
	acl2-infix_8.4dfsg-2_amd64.deb	2021-12-19 02:09	551K
	acl2_8.4dfsg-2.debian.tar.xz	2021-11-02 00:24	304K
	acl2_8.4dfsg-2.dsc	2021-11-02 00:24	2.2K
	acl2_8.4dfsg.orig.tar.gz	2021-10-29 01:18	194M
	acl2-source_8.3dfsg-2_all.deb	2021-01-28 08:19	3.2M
	acl2-infix_8.3dfsg-2_amd64.deb	2021-01-28 08:19	471K
	acl2-infix-source_8.3dfsg-2_all.deb	2021-01-28 08:19	70K
	acl2-emacs_8.3dfsg-2_all.deb	2021-01-28 08:19	60K
	acl2-doc_8.3dfsg-2_all.deb	2021-01-28 08:19	429K
	acl2_8.3dfsg-2_amd64.deb	2021-01-28 08:19	21M
	acl2-books-certs_8.3dfsg-2_all.deb	2021-01-28 08:19	139M
	acl2-books_8.3dfsg-2_amd64.deb	2021-01-28 08:19	241M
	acl2-books-source_8.3dfsg-2_all.deb	2021-01-28 08:19	19M
	acl2_8.3dfsg-2.dsc	2021-01-28 00:19	2.2K
	acl2_8.3dfsg-2.debian.tar.xz	2021-01-28 00:19	223K
	acl2_8.3dfsg.orig.tar.gz	2020-08-24 13:13	112M