ID | 608902 |
Name | idris-static |
Version | 1.3.2 |
Release | 3.fc33 |
Epoch | |
Arch | riscv64 |
Summary |
Description |
Build Time | 2020-05-09 20:18:41 GMT |
Size | 205.29 KB |
| 6e0863dd8f657a8d8c797824d8a87f81 |
License | BSD |
Buildroot | f33-build-211890-48405 |
Provides |
idris-static = 1.3.2-3.fc33 |
idris-static(riscv-64) = 1.3.2-3.fc33 |
|
Obsoletes |
No Obsoletes
|
Conflicts |
No Conflicts
|
Requires |
rpmlib(CompressedFileNames) <= 3.0.4-1 |
rpmlib(FileDigests) <= 4.6.0-1 |
rpmlib(PayloadFilesHavePrefix) <= 4.0-1 |
rpmlib(PayloadIsZstd) <= 5.4.18-1 |
|
Recommends |
No Recommends
|
Suggests |
No Suggests
|
Supplements |
No Supplements
|
Enhances |
No Enhances
|
Files |
|
Component of |
No Buildroots
|