ID | 705713 |
Name | cadical-devel |
Version | 1.3.0 |
Release | 1.fc33 |
Epoch | 1 |
Arch | riscv64 |
Summary |
Description |
Build Time | 2020-08-15 13:02:27 GMT |
Size | 17.75 KB |
| 89fb023fa7713d0c8e6d597676e7fd6a |
License | MIT |
Buildroot | f33-build-302875-57051 |
Provides |
cadical-devel = 1:1.3.0-1.fc33 |
cadical-devel(riscv-64) = 1:1.3.0-1.fc33 |
|
Obsoletes |
No Obsoletes
|
Conflicts |
No Conflicts
|
Requires |
cadical-libs(riscv-64) = 1:1.3.0-1.fc33 |
libcadical.so.0()(64bit) |
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 |
|