Index of /bianbu/pool/universe/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books-certs_8.5dfsg-5build3_all.deb	2024-08-21 22:31	162M
	acl2-books-certs_8.5dfsg-6_all.deb	2025-05-20 21:26	73M
	acl2-books-source_8.5dfsg-5build3_all.deb	2024-08-21 22:31	23M
	acl2-books-source_8.5dfsg-6_all.deb	2025-05-20 21:26	23M
	acl2-books_8.5dfsg-5build3_riscv64.deb	2024-04-08 07:42	1.0G
	acl2-books_8.5dfsg-6_riscv64.deb	2025-06-14 10:58	507M
	acl2-doc_8.5dfsg-5build3_all.deb	2024-08-21 22:31	474K
	acl2-doc_8.5dfsg-6_all.deb	2025-05-20 21:26	474K
	acl2-infix-source_8.5dfsg-5build3_all.deb	2024-08-21 22:31	72K
	acl2-infix-source_8.5dfsg-6_all.deb	2025-05-20 21:26	72K
	acl2-infix_8.5dfsg-5build3_riscv64.deb	2024-04-08 07:42	1.5M
	acl2-infix_8.5dfsg-6_riscv64.deb	2025-06-14 10:58	1.4M
	acl2-source_8.5dfsg-5build3_all.deb	2024-08-21 22:31	3.5M
	acl2-source_8.5dfsg-6_all.deb	2025-05-20 21:26	3.5M
	acl2_8.5dfsg-5build3.debian.tar.xz	2024-04-01 13:43	306K
	acl2_8.5dfsg-5build3.dsc	2024-04-01 13:43	2.3K
	acl2_8.5dfsg-5build3_riscv64.deb	2024-04-08 07:42	25M
	acl2_8.5dfsg-6.debian.tar.xz	2024-07-29 07:59	306K
	acl2_8.5dfsg-6.dsc	2024-07-29 07:59	2.2K
	acl2_8.5dfsg-6_riscv64.deb	2025-06-14 10:58	24M
	acl2_8.5dfsg.orig.tar.gz	2022-07-28 07:33	213M
	elpa-acl2_8.5dfsg-5build3_all.deb	2024-08-21 22:31	71K
	elpa-acl2_8.5dfsg-6_all.deb	2025-05-20 21:26	71K