- Fixed build fial

Supermarcel10 · web-flow · commit fbede79b9a6b · 2025-05-04T17:27:28.000+01:00
diff --git a/pkgs/by-name/bi/bitwuzla/package.nix b/pkgs/by-name/bi/bitwuzla/package.nix
@@ -37,16 +37,16 @@ stdenv.mkDerivation (finalAttrs: {
     git
     ninja
     cmake
-    kissat
   ];
+
   buildInputs = [
     cadical
     cryptominisat
     btor2tools
     symfpu
     gmp
     zlib
-    kissat.lib
+    kissat
   ];
 
   mesonFlags = [
