ppl
The Parma Polyhedra Library
Build for armv7l-glibc, version 1.2_1. Builds for all architectures.
Details
- Homepage:
- http://bugseng.com/products/ppl
- License:
- GPL-3
- Maintainer:
- Juan RP
- Built at:
- 2016-09-25 16:20
- Source files:
- https://ftp.debian.org/debian/pool/main/p/ppl/ppl_1.2.orig.tar.xz
- Installed size:
- 3.67 MiB
- Popularity:
- No usages in 100 reports
- Provided shlibs:
- libppl.so.14
- libppl_c.so.4
- Depending on: