Skip to content

Commit

Permalink
yosys-unstable: unstable-2023-09-14 -> unstable-2023-09-22
Browse files Browse the repository at this point in the history
  • Loading branch information
github-actions[bot] committed Sep 24, 2023
1 parent e007794 commit 8c1f458
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-09-14";
version = "unstable-2023-09-22";

src = fetchFromGitHub {
owner = "YosysHQ";
repo = "yosys";
rev = "b84ed5d3ad2ac8b533e1d6a83dbdb6d5c2be9ce7";
hash = "sha256-+F2ZyjkSMFHiZE7DtcCY6hrqtd70HS+dyz1IKV/6eCk=";
rev = "934c82254d8abd33ee8827b200ff005868737f74";
hash = "sha256-4AG7awWSYvqhkpnn9R73HQ0XY2ID+nyz+BdaQ/zWK34=";
};

inherit abc-verifier;
Expand Down

0 comments on commit 8c1f458

Please sign in to comment.