apronversion
APRON numerical abstract domain library
| Authors | Bertrand Jeannet and Antoine Miné |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | http://apron.cri.ensmp.fr/library/ |
| Issue Tracker | https://gforge.inria.fr/tracker/?atid=8946&group_id=2625&func=browse |
| Maintainer | Nicolas Berthier <m@nberth.space> |
| Available | arch != "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 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/apron/apron.20150820/opam |
