Update mvnHash (again)

runtimeverification · Apr 9, 2024 · 1d0effa · 1d0effa
1 parent 087d7cb
commit 1d0effa
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-lBP4WL0sgyW1mULqujaivT+uvobKQVIWpS7qGnnHCeU=";
+    mvnHash = "sha256-jO6g5yuae6oU9XCVmDXa678Hzz1zroaMv7/wzgWbUzI=";
     inherit (final) maven;
   };