![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | ghc-idris-doc-1.3.4-1.oc9.noarch.rpm | 2024-08-05 13:45 | 2.9M | |
![]() | idris-common-1.3.4-1.oc9.noarch.rpm | 2024-08-05 13:45 | 4.0M | |
![]() | idris-docs-1.3.4-1.oc9.noarch.rpm | 2024-08-05 13:45 | 201K | |
![]() | idris-manual-1.3.4-1.oc9.noarch.rpm | 2024-08-05 13:45 | 632K | |