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.2.tar.gz md5=93a1e54a22953d299390b0d06132bec7 sha512=2228f14542cae71d624a1966619db708e20ea1711c01ab98a5dd69b2ebc51516f00d5143cf2644b67699a60400969de1c7973f846750228e5cf62b14098e01f7 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/apronext/apronext.1.0.2/opam |
Required by
