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.0.0-1mamba |
| Architettura: | aarch64 |
| Gruppo: | Development/Debug |
| Dimensione: | 329.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:087ff00193add19756d49f0aa49e752b05735f40 debuginfo(build-id) = 0:3be30b9d865e544a29b66551409cf5da9f1263ee libz3.so.5.0.0.0-5.0.0-1mamba.aarch64.debug()(64bit) z3-debug = 0:5.0.0-1mamba z3-debug(aarch-64) = 0:5.0.0-1mamba |
