Information for RPM z3-devel-4.13.0-4.fc41.riscv64.rpm
ID | 1322163 | ||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | z3-devel | ||||||||||||||||||||||||||||||||||||||||||||||||
Version | 4.13.0 | ||||||||||||||||||||||||||||||||||||||||||||||||
Release | 4.fc41 | ||||||||||||||||||||||||||||||||||||||||||||||||
Epoch | |||||||||||||||||||||||||||||||||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||||||||||||||||||||||||||||||||
Summary | Header files for build applications that use z3 | ||||||||||||||||||||||||||||||||||||||||||||||||
Description | Header files for build applications that use z3. | ||||||||||||||||||||||||||||||||||||||||||||||||
Build Time | 2024-07-13 18:08:46 GMT | ||||||||||||||||||||||||||||||||||||||||||||||||
Size | 90.63 KB | ||||||||||||||||||||||||||||||||||||||||||||||||
d00068c2059d9108224684717f9cef1b | |||||||||||||||||||||||||||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||||||||||||||||||||||||||
https://github.com/Z3Prover/z3 | |||||||||||||||||||||||||||||||||||||||||||||||||
Buildroot | f41-build-814986-149324 | ||||||||||||||||||||||||||||||||||||||||||||||||
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 |