libppl_c4-0.11.2-8.mga5.i586.rpm


Advertisement

Description

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

Property Value
Distribution Mageia 5.1
Repository Mageia Core i586
Package name libppl_c4
Package version 0.11.2
Package release 8.mga5
Package architecture i586
Package type rpm
Installed size 3.99 MB
Download size 1022.57 KB
Official Mirror distrib-coffee.ipsl.jussieu.fr
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.

Alternatives

Package Version Architecture Repository
libppl_c4 - - -

Requires

Name Value
libc.so.6 -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1.3) -
libc.so.6(GLIBC_2.3.4) -
libgcc_s.so.1 -
libgcc_s.so.1(GCC_3.0) -
libgmp.so.10 -
libgmpxx.so.4 -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libppl.so.9 -
libpwl.so.5 -
libstdc++.so.6 -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(GLIBCXX_3.4) -
libstdc++.so.6(GLIBCXX_3.4.11) -
libstdc++.so.6(GLIBCXX_3.4.15) -
libstdc++.so.6(GLIBCXX_3.4.20) -
libstdc++.so.6(GLIBCXX_3.4.9) -

Provides

Name Value
libppl_c.so.4 -
libppl_c4 == 0.11.2-8.mga5
libppl_c4(x86-32) == 0.11.2-8.mga5

Download

Type URL
Binary Package libppl_c4-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 libppl_c4 rpm package:
    # urpmi libppl_c4

Files

Path
/usr/lib/libppl_c.so.4
/usr/lib/libppl_c.so.4.0.0

Changelog

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 - https://wiki.mageia.org/en/Feature:Mageia3MassRebuild
+ 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
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
libpri1-1.4.14-4.mga5.i586.rpm An implementation of Primate and Basic Rate ISDN
libprimus-0.1-2.20150201.1.mga5.i586.rpm Shared library for Primus
libprison-devel-1.1.1-3.mga5.i586.rpm Prison development files
Advertisement
Advertisement