3 search results for "author:"Nicolas Berthier""
Showing 1 - 3
-
Simple generator of conf-<pkg>.config files2GPL-3.0-onlyUsed by 2 other packages26 Feb 2024
-
OCaml interface to the CUDD BDD library3.0.7LGPL-2.1-onlyUsed by 1 other packages21 Jun 2021
-
OCaml interface to the GMP library1.3.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 4 other packages09 Feb 2024