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