Bump maven hash

runtimeverification · Apr 9, 2024 · 350db84 · 350db84
1 parent d036cf1
commit 350db84
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 = "";
+    mvnHash = "sha256-ZmxDfQAQ4sq7yZEwCS8I3TNZeENTZlkiHQFObNdeSRE=";
     inherit (final) maven;
   };