| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| idris2-0.7.0-4.el10_1.x86_64.rpm | 14.0 MiB | 2025-Jul-04 10:58 |
| idris2-doc-0.7.0-4.el10_1.noarch.rpm | 359.3 KiB | 2025-Jul-04 10:58 |
| imake-1.0.10-2.el10_1.x86_64.rpm | 246.0 KiB | 2025-Jun-26 04:29 |
| idris2-libs-0.7.0-4.el10_1.x86_64.rpm | 24.0 KiB | 2025-Jul-04 10:58 |