alive2-regehr: 0-unstable-2024-07-15 -> 0-unstable-2024-07-16

Diff: regehr/alive2@5ef3596...549fe5d
katrinafyi · Jul 16, 2024 · 600b41f · 600b41f
1 parent 3db78c4
commit 600b41f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/llvm-translator/alive2-regehr.nix b/llvm-translator/alive2-regehr.nix
@@ -5,13 +5,13 @@
 
 (alive2.override { inherit llvmPackages; }).overrideAttrs (prev: {
   pname = "alive2-regehr";
-  version = "0-unstable-2024-07-15";
+  version = "0-unstable-2024-07-16";
 
   src = fetchFromGitHub {
     owner = "regehr";
     repo = "alive2";
-    rev = "5ef3596e33a06c71b9d16054612d851c9274441f";
-    hash = "sha256-Wm1cur+HA7Dt6cqS7KPkhWFyNzuIhM38pm0iZm4V5bg=";
+    rev = "549fe5d5452af964bb7c48dcf178de5e436d7151";
+    hash = "sha256-JrD+Z5WrI0QRyHJEAlmB4FTavRnov58DX4Lgbz35EQ8=";
   };
 
   patches = [ ];