alive2-aslp: 0-unstable-2024-08-12 -> 0-unstable-2024-08-15

Diff: katrinafyi/alive2@5ca6617...789155a
katrinafyi · Aug 15, 2024 · 6d4e1a0 · 6d4e1a0
1 parent 8d262cb
commit 6d4e1a0
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/llvm-translator/alive2-aslp.nix b/llvm-translator/alive2-aslp.nix
@@ -13,16 +13,16 @@
 
 (alive2-regehr.override { inherit llvmPackages; }).overrideAttrs (prev: {
   pname = "alive2-aslp";
-  version = "0-unstable-2024-08-12";
+  version = "0-unstable-2024-08-15";
 
   buildInputs = prev.buildInputs ++ [ aslp-cpp antlr.runtime.cpp ];
   nativeBuildInputs = prev.nativeBuildInputs ++ [ jre makeWrapper ];
 
   src = fetchFromGitHub {
     owner = "katrinafyi";
     repo = "alive2";
-    rev = "5ca66179a14a79564713d709177d7e6af8220073";
-    hash = "sha256-6U7PwjRcv/bc3sUk+b+ZR/D8M2/7zCJVUkE7DZhSlm0=";
+    rev = "789155ab24c910e4c3ffaf7a0d2f55c5a6827273";
+    hash = "sha256-5OQlhqmVaJ6Jw9H7LnruivU3RWj81YP6N9tHVW4Xae4=";
   };
 
   cmakeFlags = prev.cmakeFlags