Home > Repository > base > z3 > z3-debug (i586)
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.3.3-1mamba |
| Architettura: | i586 |
| Gruppo: | Development/Debug |
| Dimensione: | 263.80 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:5e3adf01e9cae6eccd41864003e518e9cc0c0c8a debuginfo(build-id) = 0:9e49761a025973f3e7a2ea339d3f76ee38102e1b libz3.so.5.3.3.0-5.3.3-1mamba.i386.debug z3-debug = 0:5.3.3-1mamba z3-debug(x86-32) = 0:5.3.3-1mamba |