Home > Repository > base > z3 > z3-debug (aarch64)
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: | aarch64 |
| Gruppo: | Development/Debug |
| Dimensione: | 256.20 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:2add910249f4fb3f00cc757cf0adb214b2626500 debuginfo(build-id) = 0:63b81cf6c4265042e50f3bd2b5b46e2741ea1bd6 libz3.so.5.3.1.0-5.3.1-1mamba.aarch64.debug()(64bit) z3-debug = 0:5.3.1-1mamba z3-debug(aarch-64) = 0:5.3.1-1mamba |
