Update hash

runtimeverification · Mar 7, 2024 · 64bdeb7 · 64bdeb7
1 parent a965130
commit 64bdeb7
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-g5H5C7oYdBZBIPdeyTH7ai29QfNCKVhn8C3hK06ZNj4";
+    mvnHash = "sha256-R25OyKnm027ftURPeZqZzIMjApUvNXXzgxc7WxJby9I=";
     inherit (final) maven;
   };