libpplite1-0.7-bp156.2.5 RPM for aarch64

From OpenSuSE Leap 15.6 for aarch64

PPLite is a C++ library implementing the abstract domain of convex polyhedra,
to be used in tools for static analysis and verification.

Provides

• libpplite1
• libpplite.so.1()(64bit)
• libpplite1(aarch-64)

Requires

• /sbin/ldconfig
• /sbin/ldconfig
• 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.38)(64bit)
• libflint.so.17()(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgmp.so.10()(64bit)
• libgmpxx.so.4()(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(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.18)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(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(PayloadIsXz) <= 5.2-1

License

GPL-3.0-or-later

Changelog

* Mon Jun 21 2021 Jan Engelhardt <jengelh@inai.de>
  - Update to release 0.7
    * This version also adds a C++ polymorphic interface allowing to
      experiment with several variants of the domain of convex
      polyhedra: Poly, U_Poly, F_Poly, UF_Poly and their XXX_Stats
      versions, computing timing information for abstract operators.
* Wed Sep 30 2020 Jan Engelhardt <jengelh@inai.de>
  - Initial package (version 0.6) for build.opensuse.org

Files

/usr/lib64/libpplite.so.1
/usr/lib64/libpplite.so.1.0.0
/usr/share/licenses/libpplite1
/usr/share/licenses/libpplite1/COPYING

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri May 3 23:50:48 2024