libppl9 - The Parma Polyhedra Library: a library of numerical abstractions

Property Value
Distribution Mageia 5.1
Repository Mageia Core i586
Package name libppl9
Package version 0.11.2
Package release 8.mga5
Package architecture i586
Package type rpm
Installed size 1.16 MB
Download size 379.75 KB
Official Mirror
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.


Package Version Architecture Repository
libppl9 - - -


Name Value - - - - - - - - - - - - - - - - -


Name Value -
libppl9 == 0.11.2-8.mga5
libppl9(x86-32) == 0.11.2-8.mga5


Type URL
Binary Package libppl9-0.11.2-8.mga5.i586.rpm
Source Package ppl-0.11.2-8.mga5.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install libppl9 rpm package:
    # urpmi libppl9




2014-10-15 - umeabot <umeabot> 0.11.2-8.mga5
+ Revision: 750058
- Second Mageia 5 Mass Rebuild
- Mageia 5 Mass Rebuild
2013-10-18 - umeabot <umeabot> 0.11.2-6.mga4
+ Revision: 522086
- Mageia 4 Mass Rebuild
2013-02-08 - fwang <fwang> 0.11.2-5.mga3
+ Revision: 395600
- recall pwl.hh
- fix build with latest gmp
+ umeabot <umeabot>
- Mass Rebuild -
+ tmb <tmb>
- add note that gcc-4.7 requires 0.11 branch
- restore 0.11.2
- pwl libs is merged with ppl libs
- drop P0 (obsolete)
- drop P1, P2 (merged)
- ppl new major is 12
- update to 1.0
2012-07-16 - rtp <rtp> 0.11.2-3.mga3
+ Revision: 271321
- fix build with newer autotools
2011-12-04 - fwang <fwang> 0.11.2-2.mga2
+ Revision: 176168
- doc is a non-arch package
2011-12-04 - tmb <tmb> 0.11.2-1.mga2
+ Revision: 175909
- update to 0.11.2 (needed for gcc-4.6.2)
- drop p1, not needed anymore
- bump library majors
- drop buildroot and defattr

See Also

Package Description
libppl_c-devel-0.11.2-8.mga5.i586.rpm Development tools for the Parma Polyhedra Library C and C++ interfaces
libppl_c-static-devel-0.11.2-8.mga5.i586.rpm Static archives for the Parma Polyhedra Library C and C++ interfaces
libppl_c4-0.11.2-8.mga5.i586.rpm The Parma Polyhedra Library: a library of numerical abstractions
libpq5-9.4.4-1.mga5.i586.rpm The shared libraries required for any PostgreSQL clients
libpq9.3_5.6-9.3.9-1.mga5.i586.rpm The shared libraries required for any PostgreSQL clients
libpqxx-4.0.1-5.mga5.i586.rpm The official C++ client API for PostgreSQL
libpqxx-devel-4.0.1-5.mga5.i586.rpm Headers for developing programs that will use libpqxx
libprelude-devel-1.0.1-16.mga5.i586.rpm Libraries, includes, etc. for developing Prelude IDS sensors
libprelude-static-devel-1.0.1-16.mga5.i586.rpm Static libraries for developing Prelude IDS sensors
libprelude2-1.0.1-16.mga5.i586.rpm Prelude Hybrid Intrusion Detection System Library
libpreludecpp0-1.0.1-16.mga5.i586.rpm Prelude Hybrid Intrusion Detection System Library
libpreludedb-devel-1.0.1p1-14.mga5.i586.rpm Libraries and headers for PreludeDB
libpreludedb0-1.0.1p1-14.mga5.i586.rpm Provide the framework for easy access to the Prelude database
libpri-devel-1.4.14-4.mga5.i586.rpm Development libraries and headers for libpri
libpri-utils-1.4.14-4.mga5.i586.rpm Various tools for libpri diagnostics