conf-ppl

AuthorR. Bagnara, P. M. Hill, E. Zaffanella, A. Bagnara et. al.
LicenseGPL
Homepagehttp://bugseng.com/products/ppl/
Issue Trackerhttp://bugseng.com/products/ppl/bugs
Maintainerfrancois.berenger@inria.fr
PublishedApr 1, 2015
StatisticsNot installed in the last month.
Edithttps://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