ID | 110020 | ||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Build | z3-4.15.0-1.fc42 | ||||||||||||||||||||||||||||||||||||||||||||||||
Name | z3-devel | ||||||||||||||||||||||||||||||||||||||||||||||||
Version | 4.15.0 | ||||||||||||||||||||||||||||||||||||||||||||||||
Release | 1.fc42 | ||||||||||||||||||||||||||||||||||||||||||||||||
Epoch | |||||||||||||||||||||||||||||||||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||||||||||||||||||||||||||||||||
Draft | False | ||||||||||||||||||||||||||||||||||||||||||||||||
Summary | Header files for build applications that use z3 | ||||||||||||||||||||||||||||||||||||||||||||||||
Description | Header files for build applications that use z3. | ||||||||||||||||||||||||||||||||||||||||||||||||
Build Time | 2025-06-04 09:31:57 GMT | ||||||||||||||||||||||||||||||||||||||||||||||||
Size | 90.85 KB | ||||||||||||||||||||||||||||||||||||||||||||||||
821e5070a1edac59cc8b0552a93de2cb | |||||||||||||||||||||||||||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||||||||||||||||||||||||||
git:https://github.com/Z3Prover/z3.git | |||||||||||||||||||||||||||||||||||||||||||||||||
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 |