ppl-1.2-36.fc43 RPM for aarch64

From Fedora Rawhide for aarch64 / p

The 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.

Provides

• ppl
• libppl.so.14()(64bit)
• libppl_c.so.4()(64bit)
• ppl(aarch-64)

Requires

• ld-linux-aarch64.so.1()(64bit)
• ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_ABI_DT_RELR)(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)
• libgmpxx.so.4()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.17)(64bit)
• libm.so.6(GLIBC_2.38)(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)

License

GPL-3.0-or-later

Changelog

* Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-36
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Sat Jan 18 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-35
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Tue Sep 17 2024 Jerry James <loganjerry@gmail.com> - 1.2-34
  - Adapt to changes in the pl package in F41+
* Fri Jul 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-33
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Wed Feb 28 2024 Zhengyu He <hezhy472013@gmail.com> - 1.2-32
  - Add support for riscv64
* Wed Feb 14 2024 Jerry James <loganjerry@gmail.com> - 1.2-31
  - Rebuild for pl 9.2.1
  - Stop building for 32-bit x86
* Thu Feb 01 2024 Jerry James <loganjerry@gmail.com> - 1.2-30
  - Rebuild for pl 9.2.0
* Fri Jan 26 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-29
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-28
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild

Files

/usr/bin/ppl-config
/usr/lib/.build-id
/usr/lib/.build-id/7b
/usr/lib/.build-id/7b/a8e2e7992de40f2703f35d1187d7871f597a09
/usr/lib/.build-id/9e
/usr/lib/.build-id/9e/d71f3d79f7bdbdcbe31212f9cf0e14770c63d1
/usr/lib/.build-id/b1
/usr/lib/.build-id/b1/0fd0c5d755e5b551650d94125b5642fdb47257
/usr/lib64/libppl.so.14
/usr/lib64/libppl.so.14.0.0
/usr/lib64/libppl_c.so.4
/usr/lib64/libppl_c.so.4.0.0
/usr/lib64/ppl
/usr/share/doc/ppl
/usr/share/doc/ppl/BUGS
/usr/share/doc/ppl/COPYING
/usr/share/doc/ppl/CREDITS
/usr/share/doc/ppl/NEWS
/usr/share/doc/ppl/README
/usr/share/doc/ppl/README.configure
/usr/share/doc/ppl/TODO
/usr/share/doc/ppl/gpl.txt
/usr/share/man/man1/ppl-config.1.gz
/usr/share/ppl

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Jul 30 00:51:39 2025