Information for RPM cadical-devel-1:1.0.3-3.fc31.riscv64.rpm
ID | 443581 | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Name | cadical-devel | ||||||||||
Version | 1.0.3 | ||||||||||
Release | 3.fc31 | ||||||||||
Epoch | 1 | ||||||||||
Arch | riscv64 | ||||||||||
Summary | Development files for cadical | ||||||||||
Description | Library links and header files for developing applications that use cadical. | ||||||||||
Build Time | 2019-08-07 14:01:28 GMT | ||||||||||
Size | 16.29 KB | ||||||||||
d7485f971846f0d433327c1f0b13d268 | |||||||||||
License | MIT | ||||||||||
Buildroot | f31-build-72352-30800 | ||||||||||
Provides |
|
||||||||||
Obsoletes | No Obsoletes | ||||||||||
Conflicts | No Conflicts | ||||||||||
Requires |
|
||||||||||
Recommends | No Recommends | ||||||||||
Suggests | No Suggests | ||||||||||
Supplements | No Supplements | ||||||||||
Enhances | No Enhances | ||||||||||
Files |
|
||||||||||
Component of | No Buildroots |