ppl-devel-static - Static libraries for the Parma Polyhedra Library C and C++ interfaces

Property Value
Distribution openSUSE Leap 15.0
Repository Science all
Package filename ppl-devel-static-1.2-lp150.1.17.x86_64.rpm
Package name ppl-devel-static
Package version 1.2
Package release lp150.1.17
Package architecture x86_64
Package type rpm
Category Development/Libraries/C and C++
Homepage http://bugseng.com/products/ppl/
License GPL-3.0+
Maintainer -
Download size 21.34 MB
Installed size 94.06 MB
Static libraries for the Parma Polyhedra Library C and C++ interfaces.


Package Version Architecture Repository
ppl-devel-static - - -


Name Value
ppl-devel = 1.2-lp150.1.17


Name Value
libtool(/usr/lib64/libppl.la) -
libtool(/usr/lib64/libppl_c.la) -
ppl-devel-static = 1.2-lp150.1.17
ppl-devel-static(x86-64) = 1.2-lp150.1.17


Type URL
Mirror widehat.opensuse.org
Binary Package ppl-devel-static-1.2-lp150.1.17.x86_64.rpm
Source Package ppl-1.2-lp150.1.17.src.rpm

Install Howto

  1. Add the Science repository:
    # zypper addrepo http://widehat.opensuse.org/opensuse/repositories/science/openSUSE_Leap_15.0/ science
  2. Install ppl-devel-static rpm package:
    # zypper install ppl-devel-static




2016-10-11 - 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
2015-11-14 - jengelh@inai.de
- Update to new upstream release 1.1
* Remove the Sparse_Matrix class and add a Matrix<Row> class
* 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)
2015-11-02 - rpm@fthiessen.de
- Fixed dependencies of devel package.
- Cleaned spec file: Use so-name.
2015-09-27 - mpluskal@suse.com
- Update to 0.12.1
* See NEWS file for complete list of changes
2015-08-04 - 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
2013-09-04 - rguenther@suse.com
- Disable -g when building the testsuite.
2013-04-15 - idonmez@suse.com
- Comment out GPG part, since it'll break bootstrap
2013-04-15 - idonmez@suse.com
- Add Source URL, see https://en.opensuse.org/SourceUrls
- Add GPG verification
2013-03-05 - idonmez@suse.com
- Add ppl-gmp-5.1.0.patch to fix build with new gmp
2012-01-24 - jengelh@medozas.de
- Remove redundant sections (see specfile guidelines)

See Also

Package Description
ppl-doc-1.2-lp150.1.17.noarch.rpm Documentation for the Parma Polyhedra Library
praat-6.0.49-lp150.42.1.x86_64.rpm Phonetics by computer
primme-devel-2.2-lp150.1.1.x86_64.rpm Development and header files for primme
primme-openmpi-devel-2.2-lp150.1.1.x86_64.rpm Development and header files for primme
probcons-1.12-lp150.3.10.x86_64.rpm Multiple Alignments of Protein Sequences
pronsole-2.0.0~rc5.1522069560.e0ee40a-lp150.14.1.noarch.rpm CLI interface for RepRap
pronterface-2.0.0~rc5.1522069560.e0ee40a-lp150.14.1.noarch.rpm GUI interface for RepRap
ptscotch-mpich-6.0.6-lp150.10.1.x86_64.rpm Graph, mesh and hypergraph partitioning library
ptscotch-mpich-devel-6.0.6-lp150.10.1.x86_64.rpm Development libraries for scotch
ptscotch-mpich-devel-static-6.0.6-lp150.10.1.x86_64.rpm Development libraries for scotch
ptscotch-mvapich2-6.0.6-lp150.10.1.x86_64.rpm Graph, mesh and hypergraph partitioning library
ptscotch-mvapich2-devel-6.0.6-lp150.10.1.x86_64.rpm Development libraries for scotch
ptscotch-mvapich2-devel-static-6.0.6-lp150.10.1.x86_64.rpm Development libraries for scotch
ptscotch-openmpi-6.0.6-lp150.10.1.x86_64.rpm Graph, mesh and hypergraph partitioning library
ptscotch-openmpi-devel-6.0.6-lp150.10.1.x86_64.rpm Development libraries for scotch