Skip to content

Commit

Permalink
yosys-unstable: yosys-0.40-unstable-2024-04-17 -> yosys-0.40-unstable…
Browse files Browse the repository at this point in the history
…-2024-04-25
  • Loading branch information
github-actions[bot] committed Apr 28, 2024
1 parent 8f5f060 commit b54d8ac
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 6 deletions.
6 changes: 3 additions & 3 deletions yosys-unstable/abc-verifier.nix
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
{ abc-verifier, fetchFromGitHub }:

abc-verifier.overrideAttrs (final: prev: {
version = "yosys-0.40-unstable-2024-03-04";
version = "yosys-0.40-unstable-2024-04-23";

src = fetchFromGitHub {
owner = "yosysHQ";
repo = "abc";
rev = "0cd90d0d2c5338277d832a1d890bed286486bcf5";
hash = "sha256-1v/HOYF/ZdfR75eC3uYySKs2k6ZLCTUI0rtzPQs0hKQ=";
rev = "03da96f12fb4deb153cc0dc73936df346ecd4bcf";
hash = "sha256-1VHI03S3POkD+LJzBdnhLy1GPzAcbEzctbUhnUPd21k=";
};

passthru = (prev.passthru or { }) // { inherit (final.src) rev; };
Expand Down
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 = "yosys-0.40-unstable-2024-04-17";
version = "yosys-0.40-unstable-2024-04-25";

src = fetchFromGitHub {
owner = "YosysHQ";
repo = "yosys";
rev = "171577f909cd0ecc33d879a8925d70f6c9ca8f1e";
hash = "sha256-/xRLCK+WvlO8cw/kp+/qIBdsTbqBTob7ca5QUNwJ288=";
rev = "34d9a7451e95f6cbbfc7d58d735c846aa7eed797";
hash = "sha256-Txm/yRzhOl4nwWOob/u1DfSZtWQ985pm4o18QrXUlnU=";
};

inherit abc-verifier;
Expand Down

0 comments on commit b54d8ac

Please sign in to comment.