UbuntuUpdates.org

Package "libapron-ocaml-dev"

Name: libapron-ocaml-dev

Description:

abstract interpretation library (OCaml interface)

Latest version: 0.9.10-9build4
Release: bionic (18.04)
Level: base
Repository: universe
Head package: apron
Homepage: http://apron.cri.ensmp.fr/library/

Links


Download "libapron-ocaml-dev"


Other versions of "libapron-ocaml-dev" in Bionic

No other version of this package is available in the Bionic release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates