Opam Package conf-ppl.1

Package info

opam-nameconf-ppl
opam-version1
synopsisVirtual package relying on the Parma Polyhedra Library (PPL) system installation
descriptionThis package can only install if PPL is installed on the system.
authors
  • R. Bagnara, P. M. Hill, E. Zaffanella, A. Bagnara et. al.
homepagehttp://bugseng.com/products/ppl/
licenseGPL-1.0-or-later
deps(0)
revdeps (1)
metas(0)
libraries(0)

Package modules

Package sources

conf-ppl

Package files