Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
ghc-idris-1.3.4-1.ocs23.x86_64.rpm.sig | 2024-07-22 12:32 | 4.3K | ||
ghc-idris-devel-1.3.4-1.ocs23.x86_64.rpm.sig | 2024-07-22 12:32 | 4.3K | ||
idris-1.3.4-1.ocs23.x86_64.rpm.sig | 2024-07-22 12:32 | 4.3K | ||
idris-static-1.3.4-1.ocs23.x86_64.rpm.sig | 2024-07-22 12:32 | 4.3K | ||