Skip to content

Commit d4f636d

Browse files
committed
chore: update yosys-{eqy,sby,slang}
Signed-off-by: Leo Moser <[email protected]>
1 parent cbae82b commit d4f636d

File tree

3 files changed

+7
-7
lines changed

3 files changed

+7
-7
lines changed

nix/yosys-eqy.nix

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,8 +30,8 @@
3030
yosys-sby,
3131
python3,
3232
makeBinaryWrapper,
33-
version ? "0.59",
34-
sha256 ? "sha256-dDDU3ld4e3CcqLzCwcV+AU2C8ZNFStRLpqlD3fIfdMw=",
33+
version ? "0.60",
34+
sha256 ? "sha256-XSN7Flw6uU0SEhAX5pMWIsxxZaBKBjyjR+JKUwdSxw4=",
3535
}:
3636
yosys.stdenv.mkDerivation (finalAttrs: {
3737
pname = "yosys-eqy";

nix/yosys-sby.nix

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -28,8 +28,8 @@
2828
boolector,
2929
z3,
3030
yices,
31-
version ? "0.59",
32-
sha256 ? "sha256-WNJ390nN2+vjWGIc842e/5CX2wKI/cyo+NnuCfbHSbQ=",
31+
version ? "0.60",
32+
sha256 ? "sha256-REK5ZS5iExSlqNazdUCXVJzaXtkPxJweyXro3azrC/8=",
3333
}:
3434
yosys.stdenv.mkDerivation (finalAttrs: {
3535
pname = "yosys-sby";

nix/yosys-slang.nix

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -26,9 +26,9 @@
2626
cmake,
2727
fmt,
2828
jq,
29-
rev ? "76b83eb5b73ba871797e6db7bc5fed10af380be4",
30-
rev-date ? "2025-06-20",
31-
hash ? "sha256-XqBnrwH1C+oxfbIFFUS1s8Ujbcr1VDWHq8FVyL9iGOI=",
29+
rev ? "d4053e825408a25dc2c065cd430b4cc5e71b1b6c",
30+
rev-date ? "2025-12-08",
31+
hash ? "sha256-lSulYjGoW3ngRwKgQg8KdzWanrMos/w2NeqpFr+kkI4=",
3232
}:
3333
clang18Stdenv.mkDerivation {
3434
name = "yosys-slang";

0 commit comments

Comments
 (0)