Index of /pub/linux/gentoo/portage/sci-mathematics/acl2

	Name	Last modified	Size
	Parent Directory		-
	files/	01-Oct-2023 13:40	-
	acl2-8.5-r1.ebuild	25-May-2023 20:10	2.1K
	Manifest	25-May-2023 20:10	1.2K
	metadata.xml	08-Jan-2023 00:40	816