package apronext

  1. Overview
  2. Docs
Apron extension

Install

github.com Readme License Edit opam file

Authors

  1. G
    Ghiles Ziat <ghiles.ziat@isae-supaero.fr

Maintainers

  1. G
    Ghiles Ziat <ghiles.ziat@isae-supaero.fr

Sources

1.0.4.tar.gz
md5=1a61e232befa7e50becb03d116c883e8
sha512=6886bc6f09584b5b9e1e48f0ef2ddafdf0de9c42498d9f8c5293adfbec363706a37e4334a2b0852d1b95cb08f41c511b5a41889b94f178f46b8815f264c740a0

Description

An extension for the OCaml interface of the Apron library

Published: 13 Mar 2021

Dependencies (3)

  1. apron
  2. ocaml >= "4.08"
  3. dune >= "2.1"

Dev Dependencies

None

Conflicts

None