Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

libppl_c4-1.2-bp156.1.5 RPM for x86_64

From OpenSuSE Leap 15.6 for x86_64

Name: libppl_c4 Distribution: SUSE Linux Enterprise 15 SP6
Version: 1.2 Vendor: openSUSE
Release: bp156.1.5 Build date: Mon May 13 19:11:48 2024
Group: System/Libraries Build host: i02-ch1c
Size: 3897568 Source RPM: ppl-1.2-bp156.1.5.src.rpm
Packager: https://bugs.opensuse.org
Url: https://www.bugseng.com/parma-polyhedra-library
Summary: C interface of the Parma Polyhedra Library
Shared library for the Parma Polyhedra Library C bindings.

Provides

Requires

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