package conf-ppl

  1. Overview
  2. No Docs
Virtual package relying on the Parma Polyhedra Library (PPL) system installation

Install 

dune-project
 Dependency

bugseng.com Edit opam file Versions (1)

Authors

  1. R
    R. Bagnara, P. M. Hill, E. Zaffanella, A. Bagnara et. al.

Maintainers

  1. U
    unixjunkie@sdf.org

Description

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

Added to opam-repository:

Dependencies

None

Dev Dependencies

None

Used by (1)

  1. jasmin

Conflicts

None