Home > Repository > base > z3 > z3-debug (x86_64)
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: | x86_64 |
| Gruppo: | Development/Debug |
| Dimensione: | 336.59 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:479448011e76419a3a0a0da984f1e0a6c7875740 debuginfo(build-id) = 0:d1dc5bec343f853c24c964b2ffb6b4d87d8500a8 libz3.so.5.1.0.0-5.1.0-1mamba.x86_64.debug()(64bit) z3-debug = 0:5.1.0-1mamba z3-debug(x86-64) = 0:5.1.0-1mamba |
