![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | build.log | 2024-02-17 18:51 | 228K | |
![]() | ghc-idris-1.3.4-14.fc40.riscv64.rpm | 2024-02-17 18:51 | 5.1M | |
![]() | ghc-idris-devel-1.3.4-14.fc40.riscv64.rpm | 2024-02-17 18:53 | 16M | |
![]() | ghc-idris-doc-1.3.4-14.fc40.noarch.rpm | 2024-02-17 18:53 | 2.4M | |
![]() | ghc-idris-prof-1.3.4-14.fc40.riscv64.rpm | 2024-02-17 18:54 | 28M | |
![]() | hw_info.log | 2024-02-17 14:27 | 656 | |
![]() | idris-1.3.4-14.fc40.riscv64.rpm | 2024-02-17 18:52 | 41M | |
![]() | idris-1.3.4-14.fc40.src.rpm | 2024-02-17 18:54 | 1.7M | |
![]() | idris-common-1.3.4-14.fc40.noarch.rpm | 2024-02-17 18:51 | 4.0M | |
![]() | idris-docs-1.3.4-14.fc40.noarch.rpm | 2024-02-17 18:54 | 173K | |
![]() | idris-manual-1.3.4-14.fc40.noarch.rpm | 2024-02-17 18:51 | 629K | |
![]() | idris-static-1.3.4-14.fc40.riscv64.rpm | 2024-02-17 18:51 | 156K | |
![]() | mock_output.log | 2024-02-17 18:51 | 7.4K | |
![]() | noarch_rpmdiff.json | 2024-02-17 18:54 | 472 | |
![]() | root.log | 2024-02-17 18:51 | 187K | |
![]() | state.log | 2024-02-17 18:51 | 1.2K | |