package conf-ppl

You can search for identifiers within the package.

in-package search v0.2.0

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

Install

Dune Dependency

bugseng.com Edit opam file Versions (1)

Authors

R

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

Maintainers

U

unixjunkie@sdf.org

Description

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

Published: 01 Apr 2015

Dependencies

None

Dev Dependencies

None

Used by (1)

jasmin

Conflicts

None

On This Page

Description
Dependencies
Dev Dependencies
Used by (1)
Conflicts