Welcome to the Wise Global Solutions Mirror @ mirror.wiseglobalsolutions.com

Index of /fedora/epel/testing/10/Everything/x86_64/Packages/i

	Name	Last modified	Size	Description
	Parent Directory		-
	idris2-0.7.0-4.el10_..>	2025-07-04 10:58	14M
	idris2-doc-0.7.0-4.e..>	2025-07-04 10:58	359K
	idris2-libs-0.7.0-4...>	2025-07-04 10:58	24K