Update mvnHash

runtimeverification · Apr 9, 2024 · f0dbb20 · f0dbb20
1 parent aea009c
commit f0dbb20
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nix/overlay.nix b/nix/overlay.nix
@@ -21,7 +21,7 @@ let
 
   llvm-backend-matching = import ./llvm-backend-matching.nix {
     src = prev.llvm-backend-matching-src;
-    mvnHash = "sha256-ZmxDfQAQ4sq7yZEwCS8I3TNZeENTZlkiHQFObNdeSRE=";
+    mvnHash = "sha256-lBP4WL0sgyW1mULqujaivT+uvobKQVIWpS7qGnnHCeU=";
     inherit (final) maven;
   };