Fri, 22 Nov 2024 18:08:25 UTC | login

Information for RPM z3-libs-4.12.4-4.rvre0.fc40.riscv64.rpm

ID1164386
Namez3-libs
Version4.12.4
Release4.rvre0.fc40
Epoch
Archriscv64
SummaryLibrary for applications that use z3 functionality
DescriptionLibrary for applications that use z3 functionality.
Build Time2023-12-31 15:34:09 GMT
Size8.91 MB
47195b2f178430ed68a8c5b2db9a3d3c
LicenseMIT
Buildrootf40-build-769529-125678
Provides
libz3.so.4.12()(64bit)
z3-libs = 4.12.4-4.rvre0.fc40
z3-libs(riscv-64) = 4.12.4-4.rvre0.fc40
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libc.so.6(GLIBC_2.32)(64bit)
libc.so.6(GLIBC_2.33)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libc.so.6(GLIBC_2.38)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.4)(64bit)
libgmp.so.10()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.27)(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.30)(64bit)
libstdc++.so.6(GLIBCXX_3.4.32)(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)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 7 of 7
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/610.00 B
/usr/lib/.build-id/61/931e921890607e40f66c3d845d245694a3b5a239.00 B
/usr/lib64/libz3.so.4.1217.00 B
/usr/lib64/libz3.so.4.12.4.022.48 MB
/usr/share/licenses/z3-libs0.00 B
/usr/share/licenses/z3-libs/LICENSE.txt1.07 KB
Component of
1 through 2 of 2
Buildroot descending sort Created State
f40-build-798297-141768 2024-03-27 09:18:10 expired
f40-build-770684-125861 2024-01-02 17:30:09 expired