Index of /gentoo-portage/dev-lang/idris2/files/

Name	Last Modified	Size	Type
../		-	Directory
idris2-0.7.0-disable-allbackends-tests.patch	2025-Mar-20 21:38:29	0.2K	application/octet-stream

Tsukuba WIDE public mirror service