From 58d82e84c11dddf06ee2a1d2d3d4b112727592a3 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Tue, 17 Dec 2024 18:57:46 +0000
Subject: [PATCH] alive2-regehr: 0-unstable-2024-12-16 -> 0-unstable-2024-12-17

Diff: https://github.com/regehr/alive2/compare/52ff70645bcf4bf29b7b86a98a857b602fc1d0fa...7f3294b92ca39f7a46bf77574d3d9369ca00ada5
---
 llvm-translator/alive2-regehr.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/llvm-translator/alive2-regehr.nix b/llvm-translator/alive2-regehr.nix
index 55d58d1..4a5ac98 100644
--- a/llvm-translator/alive2-regehr.nix
+++ b/llvm-translator/alive2-regehr.nix
@@ -7,13 +7,13 @@
 
 (alive2.override { inherit llvmPackages; }).overrideAttrs (prev: {
   pname = "alive2-regehr";
-  version = "0-unstable-2024-12-16";
+  version = "0-unstable-2024-12-17";
 
   src = fetchFromGitHub {
     owner = "regehr";
     repo = "alive2";
-    rev = "52ff70645bcf4bf29b7b86a98a857b602fc1d0fa";
-    hash = "sha256-yCnrtVj/5eovNVtU2llOLeIoUail9+HaBGuVIYSrkB0=";
+    rev = "7f3294b92ca39f7a46bf77574d3d9369ca00ada5";
+    hash = "sha256-ymJWLtNNqHaoPU851lgujk32OuamV4deg2F8bOz2SSU=";
   };
 
   patches = [ ];