apronversion
APRON numerical abstract domain library
Authors | Bertrand Jeannet and Antoine Miné |
---|---|
License | LGPL-2.1-only WITH OCaml-LGPL-linking-exception |
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> |
Dependencies | |
Optional dependencies | |
Source [http] | https://github.com/ocaml/opam-source-archives/raw/main/apron-20160125.tar.gz sha256=d5a9c4b9488c4e41c0c195f69e22f856773ebf137e88174aed7cf4147eb45b6d md5=6bd20a4b4f42c2c467b26dc2b4024e55 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/apron/apron.20160125/opam |