2 search results for "author:"Stephane Graham-Lengrand""

Showing 1 - 2
  1. ctypes-zarith
    Documentation
    Ctypes wrapper for zarith
    Andreas Hauptmann Stephane Graham-Lengrand
    0.2.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    04 Jul 2020
  2. yices2_bindings
    Documentation
    Ocaml bindings for yices2
    Stephane Graham-Lengrand <stephane.graham-lengrand@csl.sri.com>
    0.2
    GPL-3.0-only
    Used by 0 other packages
    14 Sep 2020