Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: libppl_c4 | Distribution: SUSE Linux Enterprise 15 SP6 |
Version: 1.2 | Vendor: openSUSE |
Release: bp156.1.5 | Build date: Wed May 15 06:50:28 2024 |
Group: System/Libraries | Build host: i01-armsrv3 |
Size: 3999880 | 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.
GPL-3.0-or-later
* 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.
/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:14:19 2024