Wed, 27 Nov 2024 21:19:23 UTC | login

Information for RPM ppl-1.2-33.fc41.riscv64.rpm

ID1455688
Nameppl
Version1.2
Release33.fc41
Epoch
Archriscv64
SummaryThe Parma Polyhedra Library: a library of numerical abstractions
DescriptionThe Parma Polyhedra Library (PPL) is a library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library comes with several user friendly interfaces, is fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in accordance to all the applicable standards, exception-safe, rather efficient, thoroughly documented, and free software. This package provides all what is necessary to run applications using the PPL through its C and C++ interfaces.
Build Time2024-09-25 09:45:37 GMT
Size1.66 MB
9758198fd14042d89880f4c2ec75c271
LicenseGPL-3.0-or-later
Buildrootf41-build-850738-165591
Provides
libppl.so.14()(64bit)
libppl_c.so.4()(64bit)
ppl = 1.2-33.fc41
ppl(riscv-64) = 1.2-33.fc41
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.34)(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)
libgmpxx.so.4()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.27)(64bit)
libppl.so.14()(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(CXXABI_1.3.8)(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.15)(64bit)
libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
libstdc++.so.6(GLIBCXX_3.4.21)(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 24 of 24
Name ascending sort Size
/usr/bin/ppl-config132.85 KB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/050.00 B
/usr/lib/.build-id/05/e63aaf0910314cfc5fb28d17c710afc1f4ae6230.00 B
/usr/lib/.build-id/4f0.00 B
/usr/lib/.build-id/4f/7d72ff4cf7917aa7bee11d179b87cd5a15e39e38.00 B
/usr/lib/.build-id/810.00 B
/usr/lib/.build-id/81/702e440da00233037096cd8c80a4ca9eb70d6b39.00 B
/usr/lib64/libppl.so.1416.00 B
/usr/lib64/libppl.so.14.0.01.09 MB
/usr/lib64/libppl_c.so.417.00 B
/usr/lib64/libppl_c.so.4.0.03.55 MB
/usr/lib64/ppl0.00 B
/usr/share/doc/ppl0.00 B
/usr/share/doc/ppl/BUGS999.00 B
/usr/share/doc/ppl/COPYING34.32 KB
/usr/share/doc/ppl/CREDITS19.59 KB
/usr/share/doc/ppl/NEWS78.96 KB
/usr/share/doc/ppl/README53.52 KB
/usr/share/doc/ppl/README.configure21.52 KB
/usr/share/doc/ppl/TODO5.13 KB
/usr/share/doc/ppl/gpl.txt34.32 KB
/usr/share/man/man1/ppl-config.1.gz1.34 KB
/usr/share/ppl0.00 B
Component of No Buildroots