apronversion

APRON numerical abstract domain library

AuthorsBertrand Jeannet and Antoine Miné
LicenseLGPL-2.1-only
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>
Availablearch != "arm32" & arch != "x86_32"
Dependencies
Optional dependencies
Source [http] https://github.com/ocaml/opam-source-archives/raw/main/apron-20150820.tar.gz
sha256=d462de89f0f0a275dc49a8dcfdf92a7d98dfacb175331e6bc86569e8047be73a
md5=9bb307e5d783981e0c8d85bcaba72533
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/apron/apron.20150820/opam
Optionally used by