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.0.0-1mamba |
| Architettura: | i586 |
| Gruppo: | Development/Debug |
| Dimensione: | 332.17 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:a10997a359bed63be0c0487a7dc62a3fdce249c0 debuginfo(build-id) = 0:cb7701c83565674199b2ee861c7bb7a754951dc2 libz3.so.5.0.0.0-5.0.0-1mamba.i386.debug z3-debug = 0:5.0.0-1mamba z3-debug(x86-32) = 0:5.0.0-1mamba |
