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

../
files/                                             27-Dec-2023 02:08                   -
Manifest                                           16-May-2025 21:26                 306
idris2-0.7.0-r1.ebuild                             09-Jul-2025 23:22                3350
metadata.xml                                       25-Jan-2022 19:08                1255