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.1.0-1mamba |
| Architettura: | i586 |
| Gruppo: | Development/Debug |
| Dimensione: | 333.06 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:edfd49d633cdcd8f11f88fcd496771b5330ceb94 debuginfo(build-id) = 0:fbaf83c8f96c3445c53297e234d94c0816ef14c7 libz3.so.5.1.0.0-5.1.0-1mamba.i386.debug z3-debug = 0:5.1.0-1mamba z3-debug(x86-32) = 0:5.1.0-1mamba |
