3 search results for "author:"Nicolas Berthier""

Showing 1 - 3
  1. Simple generator of conf-<pkg>.config files
    2
    GPL-3.0-only
    Used by 2 other packages
    26 Feb 2024
  2. OCaml interface to the CUDD BDD library
    3.0.8
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    09 Jul 2024
  3. OCaml interface to the GMP library
    1.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    09 Feb 2024