Information for RPM ocaml-z3-4.8.10-2.el9.x86_64.rpm
ID | 72334 |
---|---|
Build | z3-4.8.10-2.el9 |
Name | ocaml-z3 |
Version | 4.8.10 |
Release | 2.el9 |
Epoch | |
Arch | x86_64 |
Draft | False |
Summary | |
Description | |
Build Time | 2021-03-16 20:58:42 GMT |
State | deleted |
Size | 614.85 KB |
b69b05e873bcaaf87cffb367a53b7ee9 | |
License | |
Buildroot | c9s-build-13870-214 |
Provides | No Provides |
Obsoletes | No Obsoletes |
Conflicts | No Conflicts |
Requires | No Requires |
Recommends | No Recommends |
Suggests | No Suggests |
Supplements | No Supplements |
Enhances | No Enhances |
Files | No Files |
Component of | No Buildroots |