Home > Pacchetti > 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.4.1-1mamba |
| Architettura: | x86_64 |
| Gruppo: | Development/Debug |
| Dimensione: | 269.72 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:11bd46e5794163259a310b519bfde3fe4f0479fb debuginfo(build-id) = 0:5b8a75f4cae8f18d9ef2f9375a1ef40d276a4753 libz3.so.5.4.1.0-5.4.1-1mamba.x86_64.debug()(64bit) z3-debug = 0:5.4.1-1mamba z3-debug(x86-64) = 0:5.4.1-1mamba |