Information for RPM ocaml-z3-debuginfo-4.12.4-4.fc40.riscv64.rpm
ID | 1159808 | |||||
---|---|---|---|---|---|---|
Name | ocaml-z3-debuginfo | |||||
Version | 4.12.4 | |||||
Release | 4.fc40 | |||||
Epoch | ||||||
Arch | riscv64 | |||||
Summary | Debug information for package ocaml-z3 | |||||
Description | This package provides debug information for package ocaml-z3. Debug information is useful when developing applications that use this package or when debugging this package. | |||||
Build Time | 2023-12-27 14:13:28 GMT | |||||
Size | 423.44 KB | |||||
52b386c0ef3ecddcf8e1e4b30f404750 | ||||||
License | MIT | |||||
Buildroot | f40-build-766951-124356 | |||||
Provides |
|
|||||
Obsoletes | No Obsoletes | |||||
Conflicts | No Conflicts | |||||
Requires |
|
|||||
Recommends |
|
|||||
Suggests | No Suggests | |||||
Supplements | No Supplements | |||||
Enhances | No Enhances | |||||
Files | ||||||
Component of | No Buildroots |