alive2-aslp: 0-unstable-2024-12-16 -> 0-unstable-2024-12-17

Diff: katrinafyi/alive2@a41421e...e51f11b
katrinafyi · Dec 20, 2024 · c9f169f · c9f169f
1 parent 102aef2
commit c9f169f
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-12-16";
+  version = "0-unstable-2024-12-17";
 
   buildInputs = prev.buildInputs ++ [ aslp-cpp antlr.runtime.cpp ];
   nativeBuildInputs = prev.nativeBuildInputs ++ [ jre makeWrapper ];
 
   src = fetchFromGitHub {
     owner = "katrinafyi";
     repo = "alive2";
-    rev = "a41421eecbfb786925c936c1b4131f33937b615c";
-    hash = "sha256-+8Q1m4QX0/jA6AJ5gWaCytzCB6UOMAHE0SZo/wnmogg=";
+    rev = "e51f11b74c77682700bdd8e886c56a562a338b69";
+    hash = "sha256-fvcvC/SJOtLq0tR0h/GT983ScHZnXbjui9PwutJtnsA=";
   };
 
   cmakeFlags = prev.cmakeFlags