Skip to content

Commit

Permalink
yosys-unstable: unstable-2023-10-14 -> unstable-2023-10-17
Browse files Browse the repository at this point in the history
  • Loading branch information
github-actions[bot] committed Oct 22, 2023
1 parent 56d31ad commit ad3148a
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-10-14";
version = "unstable-2023-10-17";

src = fetchFromGitHub {
owner = "YosysHQ";
repo = "yosys";
rev = "7d30f716e82ff4782b653cb2c448062f7878c308";
hash = "sha256-L60j1JLAWShSv0A2hkMVc2+1JPAyEpS5ZZIfU1Om/0g=";
rev = "d21c464ae4212abc8a413ecd12c3c1bdc04fb100";
hash = "sha256-HYgmIkEonear3QVBFOjUcN0AGhi0+M7HFUEH0Yf58o0=";
};

inherit abc-verifier;
Expand Down

0 comments on commit ad3148a

Please sign in to comment.