| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: ppl-devel | Distribution: openSUSE Tumbleweed |
| Version: 1.2 | Vendor: openSUSE |
| Release: 3.8 | Build date: Thu May 4 13:45:22 2023 |
| Group: Development/Libraries/C and C++ | Build host: reproducible |
| Size: 4005798 | Source RPM: ppl-1.2-3.8.src.rpm |
| Packager: http://bugs.opensuse.org | |
| Url: https://www.bugseng.com/parma-polyhedra-library | |
| Summary: Development tools for the Parma Polyhedra Library C and C++ interfaces | |
The header files, Autoconf macro, and ppl-config tool for developing applications using the Parma Polyhedra Library through its C and C++ interfaces.
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/bin/ppl-config /usr/include/ppl.hh /usr/include/ppl_c.h /usr/lib64/libppl.so /usr/lib64/libppl_c.so /usr/share/aclocal /usr/share/aclocal/ppl.m4 /usr/share/aclocal/ppl_c.m4 /usr/share/man/man1/ppl-config.1.gz /usr/share/man/man3/libppl.3.gz /usr/share/man/man3/libppl_c.3.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Oct 23 23:06:42 2025