bitwuzla: 0.8.2 -> 0.9.0 (#500815)

2026-03-27 20:28:46 +00:00
parent 79adf929f7 627064a143
commit f4430b27b9
1 changed files with 4 additions and 2 deletions
@@ -18,17 +18,18 @@
  pkg-config,
  cmake,
  aiger,
+  mpfr,
 }:

 stdenv.mkDerivation (finalAttrs: {
  pname = "bitwuzla";
-  version = "0.8.2";
+  version = "0.9.0";

  src = fetchFromGitHub {
    owner = "bitwuzla";
    repo = "bitwuzla";
    tag = finalAttrs.version;
-    hash = "sha256-v5r+BWXUUbKtkos6qmGMC9MMytS/h759SHY6lsTHU1k=";
+    hash = "sha256-3ThDKoXzCqDtiX3JXshqRtwri8V7lOFxmr+4IqQbUAQ=";
  };

  strictDeps = true;
@@ -51,6 +52,7 @@ stdenv.mkDerivation (finalAttrs: {
    zlib
    kissat
    aiger
+    mpfr
  ];

  mesonFlags = [