bitwuzla: 0.6.1 -> 0.7.0 (#367999)

2024-12-31 21:58:44 +01:00
parent 845ffb4cfa 20fbe9ecfd
commit e0be1ad972
1 changed files with 2 additions and 2 deletions
@@ -18,13 +18,13 @@

 stdenv.mkDerivation (finalAttrs: {
  pname = "bitwuzla";
-  version = "0.6.1";
+  version = "0.7.0";

  src = fetchFromGitHub {
    owner = "bitwuzla";
    repo = "bitwuzla";
    rev = finalAttrs.version;
-    hash = "sha256-auW+YeUCpl7SzVAMTyHxrWh6ShwElq6wTEP7Qf2M7jk=";
+    hash = "sha256-S8CtK8WEehUdOoqOmu5KnoqHFpCGrYWjZKv1st4M7bo=";
  };

  strictDeps = true;