alive2-regehr: 0-unstable-2024-12-16 -> 0-unstable-2024-12-17

Diff: regehr/alive2@52ff706...7f3294b
katrinafyi · Dec 17, 2024 · 58d82e8 · 58d82e8
1 parent c5aa69c
commit 58d82e8
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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 = [ ];