From b54d8ac403376b8e23ef1b12559c8a5537128bdb Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Sun, 28 Apr 2024 14:04:12 +0000
Subject: [PATCH] yosys-unstable: yosys-0.40-unstable-2024-04-17 ->
 yosys-0.40-unstable-2024-04-25

---
 yosys-unstable/abc-verifier.nix | 6 +++---
 yosys-unstable/default.nix      | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/yosys-unstable/abc-verifier.nix b/yosys-unstable/abc-verifier.nix
index 5d7b598..3a2fbfb 100644
--- a/yosys-unstable/abc-verifier.nix
+++ b/yosys-unstable/abc-verifier.nix
@@ -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; };
diff --git a/yosys-unstable/default.nix b/yosys-unstable/default.nix
index 4f0f494..bca1244 100644
--- a/yosys-unstable/default.nix
+++ b/yosys-unstable/default.nix
@@ -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;