| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| idris2-0.8.0-5.el10_3.x86_64.rpm | 2026-Mar-21 08:51:22 | 25.7M | application/x-rpm |
| idris2-doc-0.8.0-5.el10_3.noarch.rpm | 2026-Mar-21 08:51:22 | 368.7K | application/x-rpm |
| idris2-libs-0.8.0-5.el10_3.x86_64.rpm | 2026-Mar-21 08:51:22 | 24.9K | application/x-rpm |