Home > Repositories > 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.
Required by
Build required by
Provided files
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.
| Name: | z3-debug |
| Release: | 5.3.3-1mamba |
| Architecture: | aarch64 |
| Group: | Development/Debug |
| Size: | 262.42 MB |
| Upstream URL: | https://github.com/Z3Prover |
| Source RPM: | z3 |
| Brothers | Provides | Obsoletes | Requires | Recommends |
|---|---|---|---|---|
| libz3 libz3-devel z3 | debuginfo(build-id) = 0:82bb1396026e9dd12e35a24326b672de48f84ff0 debuginfo(build-id) = 0:f3ba103f48d4961fe5d62fc612ae383a01bf7ac5 libz3.so.5.3.3.0-5.3.3-1mamba.aarch64.debug()(64bit) z3-debug = 0:5.3.3-1mamba z3-debug(aarch-64) = 0:5.3.3-1mamba |