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.0.0-1mamba |
| Architettura: | x86_64 |
| Gruppo: | Development/Debug |
| Dimensione: | 335.88 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:5adb792c609199444e1f8c522c67479e82b1d932 debuginfo(build-id) = 0:6fd3ff8f720353f5d14f6943da1e7a44f664802e libz3.so.5.0.0.0-5.0.0-1mamba.x86_64.debug()(64bit) z3-debug = 0:5.0.0-1mamba z3-debug(x86-64) = 0:5.0.0-1mamba |
