Information for RPM ocaml-z3-debuginfo-5.1.0-2.fc45.riscv64.rpm
| ID | 94529 | |||||
|---|---|---|---|---|---|---|
| Build | z3-5.1.0-2.fc45 | |||||
| Name | ocaml-z3-debuginfo | |||||
| Version | 5.1.0 | |||||
| Release | 2.fc45 | |||||
| Epoch | ||||||
| Arch | riscv64 | |||||
| Draft | False | |||||
| 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 | 2026-10-18 07:59:21 GMT | |||||
| Size | 525.08 KB | |||||
| 300b1883cc588f9eb3c08b205cfd3527 | ||||||
| License | MIT | |||||
| git:https://github.com/Z3Prover/z3.git | ||||||
| Buildroot | f45-build-39343-733 | |||||
| Provides |
|
|||||
| Obsoletes | No Obsoletes | |||||
| Conflicts | No Conflicts | |||||
| Requires |
|
|||||
| Recommends |
|
|||||
| Suggests | No Suggests | |||||
| Supplements | No Supplements | |||||
| Enhances | No Enhances | |||||
| Files | ||||||
| Component of | No Buildroots |
