ppl

The Parma Polyhedra Library

Details

Homepage:

http://bugseng.com/products/ppl

License:

GPL-3

Maintainer:

Juan RP

Built at:

2016-09-25 16:17 - 2016-09-25 16:21

Source files:

https://ftp.debian.org/debian/pool/main/p/ppl/ppl_1.2.orig.tar.xz

Installed size:

3.66 MiB - 5.31 MiB

Popularity:

No usages in 100 reports

Provided shlibs:

• libppl.so.14
• libppl_c.so.4

Depending on:

• glibc>=2.17_{_1}
• glibc>=2.19_{_1}
• glibc>=2.8_{_1}
• gmp>=5.0.1_{_1}
• gmpxx>=6.0.0_{_2}
• libgcc>=4.4.0_{_1}
• libstdc++>=4.4.0_{_1}
• musl>=0.9.9_{_1}