Ctypes wrapper for zarith

Install

Authors

Maintainers

Sources

0.2.0.tar.gz
md5=3f487940ed886f52d1c24436c0571a5c
sha512=8f4139330d0b33f7a5a75c17c05579e62a0f95f27876d0b0541ba0395489bb9b86417e49ae73fb76da0c159832e170dca177ddcad49f032988b9e08506c2ed39

Description

Published: 04 Jul 2020

Dependencies (6)

  1. conf-pkg-config build
  2. ppx_cstubs >= "0.4.1"
  3. ctypes
  4. zarith
  5. dune-configurator
  6. dune >= "1.2"

Development Dependencies (2)

  1. alcotest with-test
  2. ctypes-foreign with-test

Reverse Dependencies (1)

  1. yices2_bindings

Conflicts

    None