Home > Repositories > base > libz3 (aarch64)
Resources:
Source files | Changes
Issues | Add a new issue
Download

libz3: Shared libraries for z3

This package contains shared libraries for z3.
Name:libz3
Release: 4.13.3-1mamba
Architecture:aarch64
Group:System/Libraries
Size:11.02 MB
Upstream URL:https://github.com/Z3Prover
Source RPM:z3
BrothersProvidesObsoletesRequiresRecommends
libz3-devel
z3
z3-debug
libz3 = 0:4.13.3-1mamba
libz3(aarch-64) = 0:4.13.3-1mamba
libz3.so.4.13()(64bit)
ld-linux-aarch64.so.1()(64bit) [1]
ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) [1]
libc.so.6(GLIBC_2.38)(64bit) [1]
libgcc_s.so.1()(64bit) [1]
libgcc_s.so.1(GCC_3.0)(64bit) [1]
libm.so.6()(64bit) [1]
libm.so.6(GLIBC_2.17)(64bit) [1]
libm.so.6(GLIBC_2.29)(64bit) [1]
libstdc++.so.6()(64bit) [1]
libstdc++.so.6(CXXABI_1.3)(64bit) [1]
libstdc++.so.6(CXXABI_1.3.15)(64bit) [1]
libstdc++.so.6(CXXABI_1.3.2)(64bit) [1]
libstdc++.so.6(CXXABI_1.3.9)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.14)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.15)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.17)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.18)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.19)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.20)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.21)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.22)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.26)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.29)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.30)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.31)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.32)(64bit) [1]
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) [1]
rtld(GNU_HASH) [1]
Provided files