lib64ppl_c4-0.11.2-1pclos2015.x86_64.rpm


Advertisement

Description

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

Property Value
Distribution PCLinuxOS
Repository PCLinuxOS x86_64
Package name lib64ppl_c4
Package version 0.11.2
Package release 1pclos2015
Package architecture x86_64
Package type rpm
Installed size 4.10 MB
Download size 4.10 MB
Official Mirror ftp.nluug.nl
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
lib64ppl_c4 - - -

Requires

Name Value
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.14)(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libgmp.so.10()(64bit) -
libgmpxx.so.4()(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libppl.so.9()(64bit) -
libpwl.so.5()(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.15)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsLzma) <= 4.4.6-1
rtld(GNU_HASH) -

Provides

Name Value
lib64ppl_c4 = 0.11.2-1pclos2015
lib64ppl_c4(x86-64) = 0.11.2-1pclos2015
libppl_c.so.4()(64bit) -

Download

Type URL
Binary Package lib64ppl_c4-0.11.2-1pclos2015.x86_64.rpm
Source Package ppl-0.11.2-1pclos2015.src.rpm

Install Howto

  1. Enable PCLinuxOS x86_64 repository in /etc/apt/sources.list:
    rpm http://ftp.nluug.nl/pub/os/Linux/distr/pclinuxos/pclinuxos/apt/ pclinuxos/64bit x86_64
  2. Update the package index:
    # apt-get update
  3. Install lib64ppl_c4 rpm package:
    # apt-get install lib64ppl_c4

See Also

Package Description
lib64pq9.3_5-9.3.5-2pclos2016.x86_64.rpm The shared libraries required for any PostgreSQL clients
lib64prelude-devel-1.0.1-1pclos2013.x86_64.rpm Libraries, includes, etc. for developing Prelude IDS sensors
lib64prelude-static-devel-1.0.1-1pclos2013.x86_64.rpm Static libraries for developing Prelude IDS sensors
lib64prelude2-1.0.1-1pclos2013.x86_64.rpm Prelude Hybrid Intrusion Detection System Library
lib64proj-devel-4.9.2-2pclos2016.x86_64.rpm Cartographic projection software - Development files
lib64proj-static-devel-4.9.2-2pclos2016.x86_64.rpm Cartographic projection software - Development files
lib64proj9-4.9.2-2pclos2016.x86_64.rpm Cartographic projection software - Libraries
lib64projectm-devel-2.1.0-6pclos2015.x86_64.rpm Visualization library for OpenGL based on Milkdrop
lib64projectm2-2.1.0-6pclos2015.x86_64.rpm Visualization library for OpenGL based on Milkdrop
lib64projectm2-libvisual-2.1.0-6pclos2015.x86_64.rpm Libvisual Collaboration for ProjectM
lib64projectm2-qt-2.1.0-6pclos2015.x86_64.rpm Visualization library for OpenGL based on Milkdrop
lib64protobuf-devel-2.5.0-4pclos2013.x86_64.rpm Protocol Buffers - Google's data interchange format
lib64protobuf8-2.5.0-4pclos2013.x86_64.rpm Protocol Buffers - Google's data interchange format
lib64proxy-devel-0.4.11-1pclos2013.x86_64.rpm Development files for libproxy
lib64proxy-gnome-0.4.11-1pclos2013.x86_64.rpm Plugin for libproxy and gnome
Advertisement
Advertisement