Skip to content

Commit 98d80f0

Browse files
alive2-regehr: 0-unstable-2025-02-20 -> 0-unstable-2025-02-21
Diff: regehr/alive2@6d98b04...0bdad94
1 parent f66cbe1 commit 98d80f0

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

llvm-translator/alive2-regehr.nix

+3-3
Original file line numberDiff line numberDiff line change
@@ -7,13 +7,13 @@
77

88
(alive2-aslp.override { inherit llvmPackages; }).overrideAttrs (prev: {
99
pname = "alive2-regehr";
10-
version = "0-unstable-2025-02-20";
10+
version = "0-unstable-2025-02-21";
1111

1212
src = fetchFromGitHub {
1313
owner = "regehr";
1414
repo = "alive2";
15-
rev = "6d98b047af71479b9247681eda4ecdfef063fb68";
16-
hash = "sha256-LGLfMg5dFw1qHwKOWWE+lLk43p8GNdMQ+4a2DcIhwTE=";
15+
rev = "0bdad944cd0dbba45d669c328c44f585b3594f95";
16+
hash = "sha256-R6GPmyH9tXBKuOTdViKrtZ7d5m/nkz6ipXL318xZdN8=";
1717
};
1818

1919
})

0 commit comments

Comments
 (0)