Index of mirrors/gentoo-portage/dev-lang/idris2/files
Name ▴ Size Last Modified
../ - -
idris2-0.7.0-disable-allbackends-tests.patch 255 B 2025-03-20 12:38
1 items, 255 B total