/gentoo-portage/dev-lang/idris2/files/
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| idris2-0.7.0-disable-allbackends-tests.patch | 255 B | 2025-Mar-20 14:38 |
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| idris2-0.7.0-disable-allbackends-tests.patch | 255 B | 2025-Mar-20 14:38 |