Index of /gentoo-portage/dev-lang/idris2/files/
Name
Size
Date
📁 ../
-
-
📄 idris2-0.7.0-disable-allbackends-tests.patch
255 bytes
2025-03-20 15:38:29