INFO
Name: z3-libs
Version: 4.8.15-2.el9
Arch: x86_64
Summary: Library for applications that use z3 functionality
License: MIT
Vendor: Fedora Project
Build Host: buildvm-x86-26.iad2.fedoraproject.org
Build Date: Tue Apr 5 14:55:41 2022
Size: 16461320
URL: https://github.com/Z3Prover/z3
Description: Library for applications that use z3 functionality.
FILES
/usr/lib/.build-id
/usr/lib/.build-id/23
/usr/lib/.build-id/23/a95d9ebd912e4881685d9ca652512ceae40d0a
/usr/lib64/libz3.so.4.8
/usr/lib64/libz3.so.4.8.15.0
/usr/share/licenses/z3-libs
/usr/share/licenses/z3-libs/LICENSE.txt
REQUIRES
ld-linux-x86-64.so.2()(64bit)
ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3.2)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.32)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.3.1)(64bit)
libgmp.so.10()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.2.5)(64bit)
libm.so.6(GLIBC_2.29)(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(CXXABI_1.3.2)(64bit)
libstdc++.so.6(CXXABI_1.3.9)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(64bit)
libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
libstdc++.so.6(GLIBCXX_3.4.17)(64bit)
libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
libstdc++.so.6(GLIBCXX_3.4.22)(64bit)
libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
rtld(GNU_HASH)
PROVIDES
libz3.so.4.8()(64bit)
z3-libs 4.8.15-2.el9
z3-libs(x86-64) 4.8.15-2.el9
CONFIG FILES
/usr/lib/.build-id a
/usr/lib/.build-id/23 a
/usr/lib/.build-id/23/a95d9ebd912e4881685d9ca652512ceae40d0a a
/usr/lib64/libz3.so.4.8
/usr/lib64/libz3.so.4.8.15.0
/usr/share/licenses/z3-libs
/usr/share/licenses/z3-libs/LICENSE.txt l
LICENSE FILES
MIT
|
