mirrors.tnonline.net
Folder Path
/
gentoo
/
gentoo-portage
/
dev-lang
/
idris2
/
files
/
0
directories
1
file
List
Grid
Name
Size
Modified
Up
idris2-0.7.0-disable-allbackends-tests.patch
255 B
12/27/2023 01:40:47 AM +00:00