| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| idris2-0.7.0-4.el9.aarch64.rpm | 2025-Jul-04 07:51:29 | 13.6M | application/x-rpm |
| idris2-doc-0.7.0-4.el9.noarch.rpm | 2025-Jul-04 07:51:29 | 422.5K | application/x-rpm |
| idris2-libs-0.7.0-4.el9.aarch64.rpm | 2025-Jul-04 07:51:29 | 22.4K | application/x-rpm |