Works best with JavaScript enabled!Works best in modern browsers!powered by h5ai

	Name	Last modified	Size
	Parent Directory
	acl2-books-certs_8.4dfsg-2_all.deb	2021-12-18 20:10	231831 KB
	acl2-books-certs_8.5dfsg-5build3_all.deb	2024-04-02 04:03	226234 KB
	acl2-books-source_8.4dfsg-2_all.deb	2021-12-18 20:10	22136 KB
	acl2-books-source_8.5dfsg-5build3_all.deb	2024-04-02 04:02	23801 KB
	acl2-books_8.4dfsg-2_amd64.deb	2021-12-18 20:09	353947 KB
	acl2-books_8.5dfsg-5build3_amd64.deb	2024-04-02 04:03	346555 KB
	acl2-doc_8.4dfsg-2_all.deb	2021-12-18 20:09	451 KB
	acl2-doc_8.5dfsg-5build3_all.deb	2024-04-02 04:02	485 KB
	acl2-infix-source_8.4dfsg-2_all.deb	2021-12-18 20:10	73 KB
	acl2-infix-source_8.5dfsg-5build3_all.deb	2024-04-02 04:02	74 KB
	acl2-infix_8.4dfsg-2_amd64.deb	2021-12-18 20:09	564 KB
	acl2-infix_8.5dfsg-5build3_amd64.deb	2024-04-02 04:02	551 KB
	acl2-source_8.4dfsg-2_all.deb	2021-12-18 20:10	3536 KB
	acl2-source_8.5dfsg-5build3_all.deb	2024-04-02 04:02	3652 KB
	acl2_8.4dfsg-2.debian.tar.xz	2021-11-01 19:24	311 KB
	acl2_8.4dfsg-2.dsc	2021-11-01 19:24	2 KB
	acl2_8.4dfsg-2_amd64.deb	2021-12-18 20:10	26133 KB
	acl2_8.4dfsg.orig.tar.gz	2021-10-28 19:18	202991 KB
	acl2_8.5dfsg-5build3.debian.tar.xz	2024-04-01 01:43	313 KB
	acl2_8.5dfsg-5build3.dsc	2024-04-01 01:43	2 KB
	acl2_8.5dfsg-5build3_amd64.deb	2024-04-02 04:03	26854 KB
	acl2_8.5dfsg.orig.tar.gz	2022-07-27 19:33	223546 KB
	elpa-acl2_8.4dfsg-2_all.deb	2021-12-18 20:09	70 KB
	elpa-acl2_8.5dfsg-5build3_all.deb	2024-04-02 04:02	72 KB