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


../
idris2-0.7.0-disable-allbackends-tests.patch       01-Jul-2025 13:26     255