Index of /Mirrors4/debian.org/debian-ports/pool-m68k/main/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books_8.5dfsg-2..>	2023-01-09 19:03	245M
	acl2-infix_8.5dfsg-2..>	2023-01-09 19:03	443K
	acl2_8.5dfsg-2_m68k...>	2023-01-09 19:03	11K
	acl2_8.5dfsg-2_m68k.deb	2023-01-09 19:03	17M