| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| ghc-idris-1.3.4-3.oc9.x86_64.rpm | 2025-10-28 10:48 | 3.7M | ||
| ghc-idris-devel-1.3.4-3.oc9.x86_64.rpm | 2025-10-28 10:48 | 5.5M | ||
| idris-1.3.4-3.oc9.x86_64.rpm | 2025-10-28 10:48 | 24M | ||
| idris-static-1.3.4-3.oc9.x86_64.rpm | 2025-10-28 10:48 | 62K | ||