Index of /debian-ports/pool-x32/main/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books_8.5dfsg-6_x32.deb	2024-07-29 06:03	65M
	acl2-infix_8.5dfsg-6_x32.deb	2024-07-29 06:03	480K
	acl2_8.5dfsg-6_x32.buildinfo	2024-07-29 06:03	11K
	acl2_8.5dfsg-6_x32.deb	2024-07-29 06:03	21M