| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| idris2-0.7.0-4.el10_1.x86_64.rpm | 2025-Jul-04 06:58:12 | 13.9M | application/x-redhat-package-manager |
| idris2-doc-0.7.0-4.el10_1.noarch.rpm | 2025-Jul-04 06:58:12 | 359.2K | application/x-redhat-package-manager |
| idris2-libs-0.7.0-4.el10_1.x86_64.rpm | 2025-Jul-04 06:58:12 | 23.9K | application/x-redhat-package-manager |