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

../
files/                                             30-Mar-2026 05:09                   -
Manifest                                           30-Mar-2026 04:06                1236
idris2-0.7.0-r2.ebuild                             30-Mar-2026 04:06                3553
metadata.xml                                       30-Mar-2026 04:06                1255