ppl-1.2-3.6 RPM for x86_64

From OpenSuSE Tumbleweed for x86_64

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
• ppl(x86-64)

Requires

• 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.34)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libc.so.6(GLIBC_2.4)(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)
• 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.21)(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

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/bin/ppl_pips
/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/man/man1/ppl_pips.1.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Dec 21 00:03:11 2024