Sun, 02 Jun 2024 19:58:00 UTC | login

Information for RPM libpoly-0.1.13-6.fc40.riscv64.rpm

ID1279625
Namelibpoly
Version0.1.13
Release6.fc40
Epoch
Archriscv64
SummaryC library for manipulating polynomials
DescriptionLibPoly is a C library for manipulating polynomials. The target applications are symbolic reasoning engines, such as SMT solvers, that need to reason about polynomial constraints.
Build Time2024-04-10 09:27:18 GMT
Size218.54 KB
8c02a989faccd4e0d75510d044c4942d
LicenseLGPL-3.0-or-later
https://github.com/SRI-CSL/libpoly
Buildrootf40-build-800756-143605
Provides
libpoly = 0.1.13-6.fc40
libpoly(riscv-64) = 0.1.13-6.fc40
libpoly.so.0()(64bit)
libpolyxx.so.0()(64bit)
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)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgmp.so.10()(64bit)
libpoly.so.0()(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(CXXABI_1.3.8)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(64bit)
libstdc++.so.6(GLIBCXX_3.4.14)(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 13 of 13
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/170.00 B
/usr/lib/.build-id/17/0ebd519c20649a9a762d248e68c2f127f1091941.00 B
/usr/lib/.build-id/630.00 B
/usr/lib/.build-id/63/47cf24cb8e048bfd9d0d4182269ea1a47f831d39.00 B
/usr/lib64/libpoly.so.017.00 B
/usr/lib64/libpoly.so.0.1.13354.44 KB
/usr/lib64/libpolyxx.so.019.00 B
/usr/lib64/libpolyxx.so.0.1.13219.70 KB
/usr/share/doc/libpoly0.00 B
/usr/share/doc/libpoly/README.md2.98 KB
/usr/share/licenses/libpoly0.00 B
/usr/share/licenses/libpoly/LICENCE7.47 KB
Component of
1 through 3 of 3
Buildroot descending sort Created State
f40-build-806540-145129 2024-04-16 06:05:22 expired
f40-build-805569-144785 2024-04-14 13:00:27 expired
f40-build-804364-144465 2024-04-13 05:56:59 expired