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

../
files/                                             27-Dec-2023 02:08                   -
Manifest                                           27-Dec-2023 02:08                 612
idris2-0.6.0.ebuild                                14-Feb-2023 06:10                2479
idris2-0.7.0.ebuild                                27-Dec-2023 02:08                2828
metadata.xml                                       25-Jan-2022 19:08                1255