Package available in: [trunk] [8.0]
The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
Author: Roberto Bagnara <http://www [dot] cs [dot] unipr [dot] it/~bagnara>
Maintainer: The T2 Project <t2 [at] t2-project [dot] org>
Build time (on reference hardware): 320% (relative to binutils)2
Installed size (on reference hardware): 33.41 MB, 1080 files
Dependencies (build time detected): 00-dirtree autoconf bash binutils bzip2 coreutils diffutils file findutils gawk gcc glibc gmp grep gzip libtool linux-header m4 make mktemp net-tools perl sed sysfiles tar
Installed files (on reference hardware): n.a.
1) This page was automatically generated from the T2 package source. Corrections, such as dead links, URL changes or typos need to be performed directly on that source.
2) Compatible with Linux From Scratch's "Standard Build Unit" (SBU).