ctypes-zarith
  1. Overview
  2. Docs
Ctypes wrapper for zarith

Install

github.com Readme LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception License Edit opam file

Authors

  1. A
    Andreas Hauptmann
  2. S
    Stephane Graham-Lengrand

Maintainers

  1. A
    andreashauptmann@t-online.de

Sources

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

Description

Published: 04 Jul 2020

Dev Dependencies (2)

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

Used by (1)

  1. yices2_bindings

Conflicts

None