From 75d6025400aae736088674c89f5614472b6d14f3 Mon Sep 17 00:00:00 2001
From: Cayetano Santos <csantosb@inventati.org>
Date: Tue, 11 Nov 2025 10:23:24 +0100
Subject: [PATCH] gnu: abc-yosyshq: Update to 0.59.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* gnu/packages/electronics.scm (abc-yosyshq): Update to 0.59.

Change-Id: I5c8e346bbb3624bd5ad9efd0e10f4dda21044044
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
---
 gnu/packages/electronics.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index a21201e7b7db40080491544bb757c55485b4edc7..a3b353590d50b95f7af42b4750486630b2dcdf9b 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -241,7 +241,7 @@ formal verification.")
   (package
     (inherit abc)
     (name "abc-yosyshq")
-    (version "0.58")
+    (version "0.59")
     (source (origin
               (method git-fetch)
               (uri (git-reference
@@ -250,7 +250,7 @@ formal verification.")
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "191hsznsmsjn8100n50qsh3ng8wgrnyfhr7qcnb8yskiwqp37pjh"))))
+                "110hvmwspp7bprwwilcwb8kw6wcqrj9z214269fa75j9027k5l0c"))))
     (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.")