Home > Pacchetti > 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.4.1-1mamba |
| Architettura: | aarch64 |
| Gruppo: | Development/Debug |
| Dimensione: | 263.26 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:b88d82c26fc9666a78f906046863c53b14e25017 debuginfo(build-id) = 0:bb7752c0d3da28a649e4120945bc5964b2cb8b26 libz3.so.5.4.1.0-5.4.1-1mamba.aarch64.debug()(64bit) z3-debug = 0:5.4.1-1mamba z3-debug(aarch-64) = 0:5.4.1-1mamba |