Index of /sites/portage.gentoo.org/dev-lang/idris2/files/
Name Last modified Size
Parent Directory -
idris2-0.7.0-disable-allbackends-tests.patch 2025-03-20 12:38 255
Name Last modified Size
Parent Directory -
idris2-0.7.0-disable-allbackends-tests.patch 2025-03-20 12:38 255