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: