| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| idris2-0.8.0-5.el10_3.x86_64.rpm | 27005675 | 2026-Mar-21 13:51 | |
| idris2-doc-0.8.0-5.el10_3.noarch.rpm | 377540 | 2026-Mar-21 13:51 | |
| idris2-libs-0.8.0-5.el10_3.x86_64.rpm | 25511 | 2026-Mar-21 13:51 | |
team.blue Denmark Mirror Service