Home > Repository > base > z3 > z3-debug (aarch64)
This package provides debug information for package z3.
Debug information is useful when developing applications that use this
package or when debugging this package.
Richiesto da
Richiesto in compilazione da
File forniti
z3-debug: Debug information for package z3
This package provides debug information for package z3.Debug information is useful when developing applications that use this
package or when debugging this package.
| Nome: | z3-debug |
| Versione: | 5.1.0-1mamba |
| Architettura: | aarch64 |
| Gruppo: | Development/Debug |
| Dimensione: | 330.13 MB |
| URL di origine: | https://github.com/Z3Prover |
| RPM sorgente: | z3 |
| Collegati | Fornisce | Rende obsoleti | Richiede | Raccomanda |
|---|---|---|---|---|
| libz3 libz3-devel z3 | debuginfo(build-id) = 0:a2318d697546079d065634d4d838f3d89a437b9c debuginfo(build-id) = 0:c53aed444c9bc00f434154f9c9f0a9bd36e624d5 libz3.so.5.1.0.0-5.1.0-1mamba.aarch64.debug()(64bit) z3-debug = 0:5.1.0-1mamba z3-debug(aarch-64) = 0:5.1.0-1mamba |
