From 368f83a08addbf41b52ff6b881d7113b04850d09 Mon Sep 17 00:00:00 2001
From: Cayetano Santos <csantosb@inventati.org>
Date: Sun, 7 Sep 2025 09:04:55 +0200
Subject: [PATCH] gnu: symbiyosys: Update to 0.57.

* gnu/packages/electronics.scm (symbiyosys): Update to 0.57.
(abc-yosyshq): Update to 0.57.
(yosys): Update to 0.57.

Change-Id: I544d9d294f4cfe414fee7d6b3faf2edf24eb8bf9
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>
---
 gnu/packages/electronics.scm | 2 +-
 gnu/packages/fpga.scm        | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index 2e5f44db08217a5c9cd6f193da03d025cea35abf..d0611cfc9880c788a774064f4b3387644762ecac 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -1249,7 +1249,7 @@ them usable as simple logic analyzer and/or oscilloscope hardware.")
 (define-public symbiyosys
   (package
     (name "symbiyosys")
-    (version "0.56")
+    (version "0.57")
     (source
      (origin
        (method git-fetch)
diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm
index 9e96d1fb8912c06f741a62c99280462931e79db1..dcfccc602d768282d8bc1f225032ff23936cdb0f 100644
--- a/gnu/packages/fpga.scm
+++ b/gnu/packages/fpga.scm
@@ -129,7 +129,7 @@ formal verification.")
   (package
     (inherit abc)
     (name "abc-yosyshq")
-    (version "0.56")
+    (version "0.57")
     (source (origin
               (method git-fetch)
               (uri (git-reference
@@ -138,7 +138,7 @@ formal verification.")
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "0wy42qd0dl58icw3nklgns5zrr1inj8br40vwcpwiz1pkfg3gl0j"))))
+                "191hsznsmsjn8100n50qsh3ng8wgrnyfhr7qcnb8yskiwqp37pjh"))))
     (home-page "https://github.com/YosysHQ/abc/")
     (description "ABC is a program for sequential logic synthesis and
 formal verification.  This is the Yosyshq fork of ABC.")
@@ -221,7 +221,7 @@ For synthesis, the compiler generates netlists in the desired format.")
 (define-public yosys
   (package
     (name "yosys")
-    (version "0.56")
+    (version "0.57")
     (source
      (origin
        (method git-fetch)
@@ -229,7 +229,7 @@ For synthesis, the compiler generates netlists in the desired format.")
              (url "https://github.com/YosysHQ/yosys")
              (commit (string-append "v" version))))
        (sha256
-        (base32 "1q74hm1z0m08r9amz982a9ylcwz2mbg3hqarprwj775wkrbv81h7"))
+        (base32 "0bix5zlv9zp9fxqpn9l9bdw65xrgih5w0csq1xkkhm2c7p3vqjbb"))
        (file-name (git-file-name name version))))
     (build-system gnu-build-system)
     (arguments