ppl-0.10.2-11.el6.x86_64.rpm


Advertisement

Description

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

Property Value
Distribution CentOS 6
Repository CentOS x86_64
Package name ppl
Package version 0.10.2
Package release 11.el6
Package architecture x86_64
Package type rpm
Installed size 4.42 MB
Download size 1.26 MB
Official Mirror mirror.centos.org
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
ppl-0.10.2-11.el6.i686.rpm 0.10.2 i686 CentOS
ppl-0.10.2-11.el6.i686.rpm 0.10.2 i686 CentOS
ppl - - -

Requires

Name Value
/sbin/ldconfig -
libc.so.6(GLIBC_2.3.4)(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libgmp.so.3()(64bit) -
libgmpxx.so.4()(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
rtld(GNU_HASH) -

Provides

Name Value
libppl.so.7()(64bit) -
libppl_c.so.2()(64bit) -
ppl = 0.10.2-11.el6
ppl(x86-64) = 0.10.2-11.el6

Download

Type URL
Binary Package ppl-0.10.2-11.el6.x86_64.rpm
Source Package ppl-0.10.2-11.el6.src.rpm

Install Howto

Install the ppl rpm package:

# yum install ppl

Files

Path
/usr/bin/ppl-config
/usr/lib64/libppl.so.7
/usr/lib64/libppl.so.7.1.0
/usr/lib64/libppl_c.so.2
/usr/lib64/libppl_c.so.2.1.0
/usr/lib64/ppl/
/usr/share/doc/ppl-0.10.2/BUGS
/usr/share/doc/ppl-0.10.2/COPYING
/usr/share/doc/ppl-0.10.2/CREDITS
/usr/share/doc/ppl-0.10.2/NEWS
/usr/share/doc/ppl-0.10.2/README
/usr/share/doc/ppl-0.10.2/README.configure
/usr/share/doc/ppl-0.10.2/TODO
/usr/share/doc/ppl-0.10.2/gpl.txt
/usr/share/man/man1/ppl-config.1.gz

Changelog

2010-06-23 - Ondrej Vasik <ovasik@redhat.com> - 0.10.2-11
- build java subpackage only on ix86/x86_64 (java 1.6.0 is required)
(#606859)
2009-11-30 - Dennis Gregorovic <dgregor@redhat.com> - 0.10.2-10.1
- Rebuilt for RHEL 6
2009-09-11 - Caolán McNamara <caolanm@redhat.com> - 0.10.2-10
- Resolves: rhbz#521588 stick pl include before Yap include to stop 
configure-time misdetection to resolve FTBFS
2009-08-19 - Roberto Bagnara <bagnara@cs.unipr.it> - 0.10.2-9
- Force rebuild.
2009-08-14 - Roberto Bagnara <bagnara@cs.unipr.it> - 0.10.2-8
- Force rebuild.
2009-08-14 - Roberto Bagnara <bagnara@cs.unipr.it> - 0.10.2-7
- Force rebuild.
2009-08-11 - Ville Skyttä <ville.skytta@iki.fi> - 0.10.2-6
- Use bzipped upstream tarball.
2009-07-26 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.10.2-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
2009-07-12 - Roberto Bagnara <bagnara@cs.unipr.it> 0.10.2-4
- Force rebuild.
2009-06-19 - Roberto Bagnara <bagnara@cs.unipr.it> 0.10.2-3
- The `gprolog' and `yap' packages are not available on the sparc64 and
sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and
`ppl-yap'.

See Also

Package Description
ppl-devel-0.10.2-11.el6.i686.rpm Development tools for the Parma Polyhedra Library C and C++ interfaces
ppl-devel-0.10.2-11.el6.x86_64.rpm Development tools for the Parma Polyhedra Library C and C++ interfaces
ppl-docs-0.10.2-11.el6.x86_64.rpm Documentation for the Parma Polyhedra Library
ppl-gprolog-0.10.2-11.el6.x86_64.rpm The GNU Prolog interface of the Parma Polyhedra Library
ppl-gprolog-static-0.10.2-11.el6.x86_64.rpm The static archive for the GNU Prolog interface of the Parma Polyhedra Library
ppl-java-0.10.2-11.el6.x86_64.rpm The Java interface of the Parma Polyhedra Library
ppl-java-javadoc-0.10.2-11.el6.x86_64.rpm Javadocs for ppl-java
ppl-pwl-0.10.2-11.el6.i686.rpm The Parma Watchdog Library: a C++ library for watchdog timers
ppl-pwl-0.10.2-11.el6.x86_64.rpm The Parma Watchdog Library: a C++ library for watchdog timers
ppl-pwl-devel-0.10.2-11.el6.i686.rpm Development tools for the Parma Watchdog Library
ppl-pwl-devel-0.10.2-11.el6.x86_64.rpm Development tools for the Parma Watchdog Library
ppl-pwl-docs-0.10.2-11.el6.x86_64.rpm Documentation for the Parma Watchdog Library
ppl-pwl-static-0.10.2-11.el6.x86_64.rpm Static archive for the Parma Watchdog Library
ppl-static-0.10.2-11.el6.x86_64.rpm Static archives for the Parma Polyhedra Library C and C++ interfaces
ppl-swiprolog-0.10.2-11.el6.x86_64.rpm The SWI-Prolog interface of the Parma Polyhedra Library
Advertisement
Advertisement