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

NameLast ModifiedSizeType
../ -  Directory
idris2-0.7.0-disable-allbackends-tests.patch2025-Mar-20 12:38:290.2Kapplication/octet-stream
lighttpd/1.4.79