Folder Path
/
gentoo
/
dev-lang
/
idris2
/
files
/
0
directories
1
file
255 B
total
List
Grid
Name
Size
Modified
Up
idris2-0.7.0-disable-allbackends-tests.patch
255 B
3/20/2025, 12:38:29 PM