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

../
files/                                             27-Dec-2023 02:08                   -
Manifest                                           16-May-2025 21:26                 306
idris2-0.7.0.ebuild                                27-Dec-2023 02:08                2828
metadata.xml                                       25-Jan-2022 19:08                1255