Steadfast Chicago Mirror
Index of /gentoo/rsync/dev-lang/idris2/files/
Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
idris2-0.7.0-disable-allbackends-tests.patch | 2023-12-26 19:40 | 255 | ||
Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
idris2-0.7.0-disable-allbackends-tests.patch | 2023-12-26 19:40 | 255 | ||