ocamlPackages.bitwuzla-cxx: init at 0.6.1

{

  lib,

  buildDunePackage,

  fetchurl,

  zarith,

}:

let

  version = "0.6.1";

in

buildDunePackage {

  pname = "bitwuzla-cxx";

  inherit version;

  minimalOCamlVersion = "4.12";

  src = fetchurl {

    url = "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/${version}/bitwuzla-cxx-${version}.tbz";

    hash = "sha256-QgZy0a4QPVkgiB+lhEw40pE9TeuOOeMowtUb0F+BN6c=";

  };

  propagatedBuildInputs = [ zarith ];

  meta = {

    description = "OCaml binding for the SMT solver Bitwuzla C++ API";

    homepage = "https://bitwuzla.github.io/";

    changelog = "https://raw.githubusercontent.com/bitwuzla/ocaml-bitwuzla/refs/tags/${version}/CHANGES.md";

    license = lib.licenses.mit;

    maintainers = [ lib.maintainers.vbgl ];

  };

}

        bitv = callPackage ../development/ocaml-modules/bitv { };

        bitwuzla-cxx = callPackage ../development/ocaml-modules/bitwuzla-cxx { };

        bjack = callPackage ../development/ocaml-modules/bjack {

          inherit (pkgs.darwin.apple_sdk.frameworks) Accelerate CoreAudio;

        };