From 2f4017aa05d011c53237e1379eb21aa965f79647 Mon Sep 17 00:00:00 2001
From: rina <k@rina.fyi>
Date: Mon, 16 Dec 2024 17:19:08 +1000
Subject: [PATCH] alive2-regehr: 0-unstable-2024-11-06 -> 0-unstable-2024-12-15

Diff: https://github.com/regehr/alive2/compare/1ee0262b3da36b54cc6cffc94df7dcf4d0875f61...e13bc8b6c4100b70bf3bab7a71de734d0b6fabd7
---
 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 956ed6e..693e1ee 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-11-06";
+  version = "0-unstable-2024-12-15";
 
   src = fetchFromGitHub {
     owner = "regehr";
     repo = "alive2";
-    rev = "1ee0262b3da36b54cc6cffc94df7dcf4d0875f61";
-    hash = "sha256-tUIMt3nmcdlBg9u6v3J+6yhs06zHkNCEkKx7pmgZ8J8=";
+    rev = "e13bc8b6c4100b70bf3bab7a71de734d0b6fabd7";
+    hash = "sha256-LmHRTEqTFQBVTrein+X+PtOp7Mqk41nnZFF4vRIH/8U=";
   };
 
   patches = [ ];