Folder Path
/
gentoo
/
dev-lang
/
idris2
/
1
directory
4
files
8.2 KiB
total
List
Grid
Name
Size
Modified
Up
files/
—
4/16/2025, 2:21:58 AM
idris2-0.6.0.ebuild
2.4 KiB
3/20/2025, 12:38:29 PM
idris2-0.7.0.ebuild
2.8 KiB
3/20/2025, 12:38:29 PM
Manifest
1.8 KiB
3/20/2025, 12:38:29 PM
metadata.xml
1.2 KiB
3/20/2025, 12:38:29 PM