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