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

	Name	Last modified	Size
	Parent Directory		-
	files/	01-Oct-2023 13:40	-
	Manifest	20-Oct-2022 05:10	4.6K
	metadata.xml	20-Oct-2022 05:10	455
	twelf-1.7.1-r2.ebuild	27-Mar-2022 07:40	2.7K