Home > Repositories > base > libz3 (i586)
This package contains shared libraries for z3.
Provided files
libz3: Shared libraries for z3
This package contains shared libraries for z3.
| Name: | libz3 |
| Release: | 4.13.3-1mamba |
| Architecture: | i586 |
| Group: | System/Libraries |
| Size: | 12.63 MB |
| Upstream URL: | https://github.com/Z3Prover |
| Source RPM: | z3 |
| Brothers | Provides | Obsoletes | Requires | Recommends |
|---|---|---|---|---|
| libz3-devel z3 z3-debug | libz3 = 0:4.13.3-1mamba libz3(x86-32) = 0:4.13.3-1mamba libz3.so.4.13 | ld-linux.so.2 [1] ld-linux.so.2(GLIBC_2.3) [1] libc.so.6(GLIBC_2.38) [1] libgcc_s.so.1 [1] [2] libgcc_s.so.1(GCC_3.0) [1] [2] libgcc_s.so.1(GCC_3.4) [1] [2] libgcc_s.so.1(GCC_7.0.0) [1] [2] libgcc_s.so.1(GLIBC_2.0) [1] [2] libm.so.6 [1] libm.so.6(GLIBC_2.0) [1] libm.so.6(GLIBC_2.1) [1] libm.so.6(GLIBC_2.29) [1] libstdc++.so.6 [1] [2] libstdc++.so.6(CXXABI_1.3) [1] [2] libstdc++.so.6(CXXABI_1.3.15) [1] libstdc++.so.6(CXXABI_1.3.2) [1] [2] libstdc++.so.6(CXXABI_1.3.8) [1] [2] libstdc++.so.6(CXXABI_1.3.9) [1] [2] libstdc++.so.6(GLIBCXX_3.4) [1] [2] libstdc++.so.6(GLIBCXX_3.4.11) [1] [2] libstdc++.so.6(GLIBCXX_3.4.14) [1] [2] libstdc++.so.6(GLIBCXX_3.4.15) [1] [2] libstdc++.so.6(GLIBCXX_3.4.17) [1] [2] libstdc++.so.6(GLIBCXX_3.4.18) [1] [2] libstdc++.so.6(GLIBCXX_3.4.19) [1] [2] libstdc++.so.6(GLIBCXX_3.4.20) [1] [2] libstdc++.so.6(GLIBCXX_3.4.21) [1] [2] libstdc++.so.6(GLIBCXX_3.4.22) [1] [2] libstdc++.so.6(GLIBCXX_3.4.26) [1] libstdc++.so.6(GLIBCXX_3.4.29) [1] libstdc++.so.6(GLIBCXX_3.4.30) [1] libstdc++.so.6(GLIBCXX_3.4.31) [1] libstdc++.so.6(GLIBCXX_3.4.32) [1] libstdc++.so.6(GLIBCXX_3.4.9) [1] [2] rtld(GNU_HASH) [1] |
