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

Diff: regehr/alive2@4e353cc...5ef3596
katrinafyi · Jul 15, 2024 · dc1193f · dc1193f
1 parent ca7448e
commit dc1193f
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-08";
+  version = "0-unstable-2024-07-15";
 
   src = fetchFromGitHub {
     owner = "regehr";
     repo = "alive2";
-    rev = "4e353ccea4e1d40902f81b186cf3d7056a955d56";
-    hash = "sha256-INSVCPmY0Pxo5PFASKN8ClsiN4tBOZkC0d9yFmlj4ak=";
+    rev = "5ef3596e33a06c71b9d16054612d851c9274441f";
+    hash = "sha256-Wm1cur+HA7Dt6cqS7KPkhWFyNzuIhM38pm0iZm4V5bg=";
   };
 
   patches = [ ];