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

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