Information for RPM z3-devel-4.12.4-4.fc40.riscv64.rpm
ID | 1159803 | ||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | z3-devel | ||||||||||||||||||||||||||||||||||||||||||||||||
Version | 4.12.4 | ||||||||||||||||||||||||||||||||||||||||||||||||
Release | 4.fc40 | ||||||||||||||||||||||||||||||||||||||||||||||||
Epoch | |||||||||||||||||||||||||||||||||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||||||||||||||||||||||||||||||||
Summary | Header files for build applications that use z3 | ||||||||||||||||||||||||||||||||||||||||||||||||
Description | Header files for build applications that use z3. | ||||||||||||||||||||||||||||||||||||||||||||||||
Build Time | 2023-12-27 14:13:28 GMT | ||||||||||||||||||||||||||||||||||||||||||||||||
Size | 90.76 KB | ||||||||||||||||||||||||||||||||||||||||||||||||
5cfb75b45cb60aaa11494cd35d955efb | |||||||||||||||||||||||||||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||||||||||||||||||||||||||
Buildroot | f40-build-766951-124356 | ||||||||||||||||||||||||||||||||||||||||||||||||
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 |