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

Name	Last Modified	Size	Type
../		-	Directory
idris2-0.7.0-disable-allbackends-tests.patch	2023-Dec-27 01:40:47	0.2K	text/plain

lighttpd/1.4.76