apronextversion
Apron extension
An extension for the OCaml interface of the Apron library
| Author | Ghiles Ziat <ghiles.ziat@isae-supaero.fr |
|---|---|
| Published | |
| Homepage | https://github.com/ghilesZ/apronext |
| Issue Tracker | https://github.com/ghilesZ/apronext/issues |
| Maintainer | Ghiles Ziat <ghiles.ziat@isae-supaero.fr |
| Dependencies | |
| Source [http] | https://github.com/ghilesZ/apronext/archive/1.0.4.tar.gz md5=1a61e232befa7e50becb03d116c883e8 sha512=6886bc6f09584b5b9e1e48f0ef2ddafdf0de9c42498d9f8c5293adfbec363706a37e4334a2b0852d1b95cb08f41c511b5a41889b94f178f46b8815f264c740a0 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/apronext/apronext.1.0.4/opam |
Required by
- absolute
- libabsolute
- picasso>=0.2.0
