alive2-aslp: 0-unstable-2024-07-10 -> 0-unstable-2024-07-11

Diff: katrinafyi/alive2@8087173...4fc1b57
katrinafyi · Jul 11, 2024 · 1498009 · 1498009
1 parent d705fdf
commit 1498009
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/llvm-translator/alive2-aslp.nix b/llvm-translator/alive2-aslp.nix
@@ -9,16 +9,16 @@
 
 (alive2-regehr.override { inherit llvmPackages; }).overrideAttrs (prev: {
   pname = "alive2-aslp";
-  version = "0-unstable-2024-07-10";
+  version = "0-unstable-2024-07-11";
 
   buildInputs = prev.buildInputs ++ [ aslp-cpp antlr.runtime.cpp ];
   nativeBuildInputs = prev.nativeBuildInputs ++ [ jre ];
 
   src = fetchFromGitHub {
     owner = "katrinafyi";
     repo = "alive2";
-    rev = "808717386d8f4fd57bdb5779d11e08df670ece55";
-    hash = "sha256-sK2I8vTi/AicR1yP35QGPjS0qc1wdgEnSjgz39neJBE=";
+    rev = "4fc1b579340c9ce5d692e4d4140aa88f7979b971";
+    hash = "sha256-fRNUT26zt60lPC3fEQh27x6tYe3oRZ+3IakybEQS0B8=";
   };
 
   cmakeFlags = prev.cmakeFlags