opam on Github

apronversion
20151015
Documentation on ocaml.org

APRON numerical abstract domain library

AuthorsBertrand Jeannet and Antoine Miné
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
Published
Homepagehttp://apron.cri.ensmp.fr/library/
Issue Trackerhttps://gforge.inria.fr/tracker/?atid=8946&group_id=2625&func=browse
MaintainerNicolas Berthier <m@nberth.space>
Dependencies
Optional dependencies
Source [http] https://github.com/ocaml/opam-source-archives/raw/main/apron-20151015.tar.gz
sha256=d1eb7d320212d27665679ce1be44ed34080821eb9d1350a8536b1f52ab670752
md5=cd284a4155aa73456868ed36fc37b007
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/apron/apron.20151015/opam
Required by
Optionally used by
Generated using opam2web, courtesy of OCamlPro. Commercial support.