Information for RPM ocaml-z3-devel-4.8.10-2.el9.i686.rpm
ID | 72328 |
---|---|
Build | z3-4.8.10-2.el9 |
Name | ocaml-z3-devel |
Version | 4.8.10 |
Release | 2.el9 |
Epoch | |
Arch | i686 |
Draft | False |
Summary | |
Description | |
Build Time | 2021-03-16 20:00:00 GMT |
State | deleted |
Size | 243.35 KB |
3b66c84401d74dc61e6272ed95a3c206 | |
License | |
Buildroot | c9s-build-13868-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 |