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.3.1-1mamba |
| Architettura: | x86_64 |
| Gruppo: | Development/Debug |
| Dimensione: | 262.45 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:7fd17ab06e9a34faf9d817b78124a641370e4ceb debuginfo(build-id) = 0:b429094871b0f46d0a730c2fe0994d4977ea5cb4 libz3.so.5.3.1.0-5.3.1-1mamba.x86_64.debug()(64bit) z3-debug = 0:5.3.1-1mamba z3-debug(x86-64) = 0:5.3.1-1mamba |
