Merge pull request #37 from katrinafyi/zz-bot-pr-into-main

bot: update packages in main
katrinafyi · Dec 23, 2024 · 91ec927 · 91ec927
2 parents 781f38b + cbac44d
commit 91ec927
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 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-17";
+  version = "0-unstable-2024-12-21";
 
   buildInputs = prev.buildInputs ++ [ aslp-cpp antlr.runtime.cpp ];
   nativeBuildInputs = prev.nativeBuildInputs ++ [ jre makeWrapper ];
 
   src = fetchFromGitHub {
     owner = "katrinafyi";
     repo = "alive2";
-    rev = "e51f11b74c77682700bdd8e886c56a562a338b69";
-    hash = "sha256-fvcvC/SJOtLq0tR0h/GT983ScHZnXbjui9PwutJtnsA=";
+    rev = "4cc28ada8b776d1e48416ed05efd7bbb30bcfd3c";
+    hash = "sha256-DD3PyBLDQqLjjVieTuv/h6aA334J9H6+qtGWuyNyfFY=";
   };
 
   CXXFLAGS = (prev.CXXFLAGS or "") + " -Wno-error=deprecated-declarations";

diff --git a/llvm-translator/alive2-regehr.nix b/llvm-translator/alive2-regehr.nix
@@ -7,13 +7,13 @@
 
 (alive2.override { inherit llvmPackages; }).overrideAttrs (prev: {
   pname = "alive2-regehr";
-  version = "0-unstable-2024-12-17";
+  version = "0-unstable-2024-12-22";
 
   src = fetchFromGitHub {
     owner = "regehr";
     repo = "alive2";
-    rev = "7f3294b92ca39f7a46bf77574d3d9369ca00ada5";
-    hash = "sha256-ymJWLtNNqHaoPU851lgujk32OuamV4deg2F8bOz2SSU=";
+    rev = "95287e7b01b980fff900ba6d9b6f425bd71b133b";
+    hash = "sha256-z4hprptm2I8CoYnztwYtdgWYdPQ55FD/drpzOcqh41w=";
   };
 
   patches = [ ];