From f0dbb205a7f688a6c1d9c3df9ea31d867113e2de Mon Sep 17 00:00:00 2001
From: Scott Guest <scott.guest@runtimeverification.com>
Date: Tue, 9 Apr 2024 17:46:36 -0400
Subject: [PATCH] Update mvnHash

---
 nix/overlay.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/overlay.nix b/nix/overlay.nix
index eb51d6b35..386cfb76d 100644
--- 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;
   };