libppl_c4-1.2-bp156.1.5 RPM for x86_64

From OpenSuSE Leap 15.6 for x86_64

Shared library for the Parma Polyhedra Library C bindings.

Provides

• libppl_c4
• libppl_c.so.4()(64bit)
• libppl_c4(x86-64)

Requires

• /sbin/ldconfig
• /sbin/ldconfig
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgmp.so.10()(64bit)
• libgmpxx.so.4()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2.5)(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.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.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

* Thu May 04 2023 Dominique Leuenberger <dimstar@opensuse.org>
  - Convert to real _multibuild package: the spec already handles
    flavor differences.
* Sat Oct 24 2020 Jan Engelhardt <jengelh@inai.de>
  - Disable lpsol and lcdd.
  - Drop old bundled changelog file
* Sun Sep 20 2020 Jan Engelhardt <jengelh@inai.de>
  - Remove useless keyring (outofdate key).
* Mon Aug 26 2019 Jan Engelhardt <jengelh@inai.de>
  - Disable static builds, disable baselibs (unused).
  - Enable glpk components.
* Tue Oct 11 2016 adam.majer@suse.de
  - Update to new upstream release 1.2
    * Improved the efficiency of the conversion procedure for
      polyhedra by adding a quick adjacency check.
    * In the Java language interface, throw an exception when trying
      to build a disequality Constraint.
    * Fixed a bug in the implementation of dense rows.
    * Fixed a bug in the implementation of ::relation_with
    * Portability improved.
  - soname bumped
* Sat Nov 14 2015 jengelh@inai.de
  - Update to new upstream release 1.1
    * Remove the Sparse_Matrix class and add a Matrix<Row> class
    instead.
    * Dense_Row: remove the capacity argument from the two-argument
    OK() method.
    * Matrix: add some methods: row_capacity(), reserve_rows(),
    remove_rows() and swap_columns().
    * Dense_Matrix: add non-const iterator and the remove_rows() and
    reserve_rows() methods.
    * Matrix: rename the row_capacity() method into capacity().
    * Remove the Dense_Matrix class, and use Matrix<Dense_Row> instead.
    * Constraint_System: replace the const_iterator class with an
    external Constraint_System_const_iterator class.
    * Generator_System: replace the const_iterator class with an
    external Generator_System_const_iterator class.
    * Split the Linear_System::With_Bit_Matrix_iterator class out of
    Linear_System and rename it to Linear_System_With_Bit_Matrix_iterator.
    * Many more API changes. See the git log summary lines for details,
    provided in /usr/share/doc/packages/GLS-0.12-1.1.
  - Drop ppl-gmp-5.1.0.patch (merged upstream)
* Mon Nov 02 2015 rpm@fthiessen.de
  - Fixed dependencies of devel package.
  - Cleaned spec file: Use so-name.
* Sun Sep 27 2015 mpluskal@suse.com
  - Update to 0.12.1
    * See NEWS file for complete list of changes
* Tue Aug 04 2015 mpluskal@suse.com
  - Update to 0.12
    * See NEWS file for complete list of changes
  - Cleanup spec file with spec-clener
  - Remove no longer needed dependency on gpg-offline
  - Refresh ppl-gmp-5.1.0.patch
  - Reduce duplicate files in documentation
* Wed Sep 04 2013 rguenther@suse.com
  - Disable -g when building the testsuite.

Files

/usr/lib64/libppl_c.so.4
/usr/lib64/libppl_c.so.4.0.0

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 20:06:21 2024