alive2-regehr: 0-unstable-2024-12-22 -> 0-unstable-2024-12-25

Diff: regehr/alive2@95287e7...2728eca
katrinafyi · Dec 25, 2024 · 87773bb · 87773bb
1 parent 13282bb
commit 87773bb
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-22";
+  version = "0-unstable-2024-12-25";
 
   src = fetchFromGitHub {
     owner = "regehr";
     repo = "alive2";
-    rev = "95287e7b01b980fff900ba6d9b6f425bd71b133b";
-    hash = "sha256-z4hprptm2I8CoYnztwYtdgWYdPQ55FD/drpzOcqh41w=";
+    rev = "2728ecaafd0572174150652f9910b73b778c2c1e";
+    hash = "sha256-OQw0GYw0PNYtb/d9ZQfHVAhuxi1k6IQJs/pY8IHBxac=";
   };
 
   patches = [ ];