Information about the package, ppl, which is shipped with common Linux distributions. The ppl package is designed for, The Parma Polyhedra Library: a library of numerical abstractions.
Package Name:
ppl
Summary:
The Parma Polyhedra Library: a library of numerical abstractions
Description:
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.
Architecture:
x86_64
Version:
0.10.2
Release:
11.el6
Size:
4.4 M
Repository:
installed
From Repository:
base
Licence:
GPLv3+
Control the ppl package with the following handy commands outlined below.
yum install ppl
This command will install ppl on the server.
yum remove ppl
This command will un-install ppl on the server. When you run this command, you will be asked if you are sure that you want to remove ppl, so you have to manually confirm that you want to do this.
yum -y remove ppl
This command will un-install ppl on the server. When you run this command with th e -y flag, you will not be prompted to check that you are sure you want to remove the package - so be sure you absolutely want to remove ppl when using the -y flag.
yum update ppl
This command will update ppl to the latest version. When you run this command, you will be asked if you are sure that you want to remove ppl, so you have to manually confirm that you want to do this.
yum -y update ppl
This command will update ppl to the latest version. When you run this command with the -y flag, you will not be prompted to check that you are sure you want to remove the package - so be sure you absolutely want to remove ppl when using the -y flag.
yum info ppl
This command will show you core information about the ppl package.
yum deplist ppl
This command will show you the dependencies for ppl. Thankfully, when using Yum, if dependencies are required, these are also installed at the same time so you don't have to worry too much about that.
yum check-update ppl
This command will check if there is an update waiting on ppl. When you run this command this will return nothing if there is nothing to update, or, will return the package name if the package is due to be updated.