diff --git a/llvm-translator/alive2-aslp.nix b/llvm-translator/alive2-aslp.nix index 78850f8..68b508d 100644 --- a/llvm-translator/alive2-aslp.nix +++ b/llvm-translator/alive2-aslp.nix @@ -13,7 +13,7 @@ (alive2-regehr.override { inherit llvmPackages; }).overrideAttrs (prev: { pname = "alive2-aslp"; - version = "0-unstable-2024-10-30"; + version = "0-unstable-2024-12-16"; buildInputs = prev.buildInputs ++ [ aslp-cpp antlr.runtime.cpp ]; nativeBuildInputs = prev.nativeBuildInputs ++ [ jre makeWrapper ]; @@ -21,8 +21,8 @@ src = fetchFromGitHub { owner = "katrinafyi"; repo = "alive2"; - rev = "ade1c3bd01c8b37fdfeeac7fbab168f020f20a8f"; - hash = "sha256-q+v4jKfDDL0kblrZQHp5wyRDX/P/DS4PWx6QiK0c8Ao="; + rev = "1349cf0088ffbda974de3e16245889d0a613790e"; + hash = "sha256-+n0HT/RgFV3c7lOFLV5/xK/rW8UGzihI0tVjE+QvgKo="; }; cmakeFlags = prev.cmakeFlags diff --git a/llvm-translator/alive2-regehr.nix b/llvm-translator/alive2-regehr.nix index 956ed6e..693e1ee 100644 --- 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-11-06"; + version = "0-unstable-2024-12-15"; src = fetchFromGitHub { owner = "regehr"; repo = "alive2"; - rev = "1ee0262b3da36b54cc6cffc94df7dcf4d0875f61"; - hash = "sha256-tUIMt3nmcdlBg9u6v3J+6yhs06zHkNCEkKx7pmgZ8J8="; + rev = "e13bc8b6c4100b70bf3bab7a71de734d0b6fabd7"; + hash = "sha256-LmHRTEqTFQBVTrein+X+PtOp7Mqk41nnZFF4vRIH/8U="; }; patches = [ ]; diff --git a/overlay.nix b/overlay.nix index 6f05f37..26f3478 100644 --- a/overlay.nix +++ b/overlay.nix @@ -54,12 +54,12 @@ let llvmPackages = final.llvmPackages_git.override (p: { gitRelease = prev.lib.throwIfNot - (prev.lib.versionOlder prev.llvmPackages_git.llvm.version "20.0.0-unstable-2024-10-30") + (prev.lib.versionOlder prev.llvmPackages_git.llvm.version "20.0.0-unstable-2024-11-15") "llvmPackages_git seems to have updated, is this override no longer needed?" { - rev = "62ff85f0799560b42754ef77b5f64ca2c7feeff7"; - rev-version = "20.0.0-unstable-2024-10-30"; - sha256 = "sha256-vE1N81PtykTIwVF26pE6ewbi18RI+KEAvDg+ZEI8tfo="; + rev = "35710ab392b50c815765f03c12409147502dfb86"; + rev-version = "20.0.0-unstable-2024-11-15"; + sha256 = "sha256-n3YpwHT/ptCKgrDLqsZJb60/MZhUJk+g889APhAz9a8="; }; }); };