Skip to content

Commit

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

src = fetchFromGitHub {
owner = "YosysHQ";
repo = "yosys";
rev = "934c82254d8abd33ee8827b200ff005868737f74";
hash = "sha256-4AG7awWSYvqhkpnn9R73HQ0XY2ID+nyz+BdaQ/zWK34=";
rev = "b52f6cb1991b7117d23fa119bf808f9fc1849789";
hash = "sha256-Ti5HqCj7bKRTowZALUraBOZezT6XXb9Oz+56mYF5R84=";
};

inherit abc-verifier;
Expand Down

0 comments on commit 7faeb72

Please sign in to comment.