Update flake

msoos · msoos · commit 9b1ceb65438c · 2025-06-03T15:42:29.000+01:00
diff --git a/flake.nix b/flake.nix
@@ -36,6 +36,7 @@
           autoPatchelfHook,
           fetchFromGitHub,
           gmp,
+          mpfr,
           zlib,
           cryptominisat,
           arjun,
@@ -58,6 +59,7 @@
           ];
           buildInputs = [
             gmp
+            mpfr
             zlib
             cryptominisat
             arjun
