Folder Path
/
gentoo-portage
/
dev-lang
/
idris2
/
1
directory
3
files
5.9 KiB
total
List
Grid
Name
Size
Modified
Up
files/
—
10/11/2025 10:10:56 AM +00:00
idris2-0.7.0-r2.ebuild
3.5 KiB
08/11/2025 10:42:32 AM +00:00
Manifest
1.2 KiB
08/11/2025 10:42:32 AM +00:00
metadata.xml
1.2 KiB
03/20/2025 12:38:29 PM +00:00