Index of /kojifiles/packages/Agda/2.6.2.2/37.fc37/src

	Name	Last modified	Size	Description
	Parent Directory		-
	Agda-2.6.2.2-37.fc37.src.rpm	2023-03-08 22:04	1.7M