Skip to content

Commit

Permalink
yosys-unstable: unstable-2023-12-03 -> unstable-2023-12-10
Browse files Browse the repository at this point in the history
  • Loading branch information
github-actions[bot] committed Dec 10, 2023
1 parent 12efac5 commit 53c36ca
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions yosys-unstable/default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -3,13 +3,13 @@
let abc-verifier = callPackage ./abc-verifier.nix { };

in (yosys.override { inherit abc-verifier; }).overrideAttrs (final: prev: {
version = "unstable-2023-12-03";
version = "unstable-2023-12-10";

src = fetchFromGitHub {
owner = "YosysHQ";
repo = "yosys";
rev = "bf955cc2b03d5fd657907a212c56f05aada5b15c";
hash = "sha256-4Equh5uLwIevWl4DuEmRzMQzMAwXXMA+CP9HfWV3TZs=";
rev = "373b651d5b59bdf86cb3e1a59458fdbdb35b8b72";
hash = "sha256-nmDfYAV0W1jy0956xyz/qQ7tYoXPaWN86oAf6ChEESk=";
};

inherit abc-verifier;
Expand Down

0 comments on commit 53c36ca

Please sign in to comment.