conf-ppl

Author R. Bagnara, P. M. Hill, E. Zaffanella, A. Bagnara et. al.
License GPL
Homepage http://bugseng.com/products/ppl/
Issue Tracker http://bugseng.com/products/ppl/bugs
Maintainer francois.berenger@inria.fr
Published Apr 1, 2015
Statistics Not installed in the last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/conf-ppl/conf-ppl.1/opam

Virtual package relying on the Parma Polyhedra Library (PPL) system installation.

This package can only install if PPL is installed on the system.

Optional for
apron
>= 20150518