From eaa82fc092850ef5cc4d012cbbc52347d00fb7a1 Mon Sep 17 00:00:00 2001
From: Cayetano Santos <csantosb@inventati.org>
Date: Wed, 3 Dec 2025 09:28:25 +0100
Subject: [PATCH] gnu: abc-yosyshq: Update to 0.60.

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

Change-Id: I496352f70b03fe39618e64e02b3ecc98f3dcd0df
---
 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 8575a2c9907653765bb8eedba8930b68c5533717..9f7c05c669d327164b41eaae51ccc698dbe247c4 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -243,7 +243,7 @@ formal verification.")
   (package
     (inherit abc)
     (name "abc-yosyshq")
-    (version "0.59")
+    (version "0.60")
     (source (origin
               (method git-fetch)
               (uri (git-reference
@@ -252,7 +252,7 @@ formal verification.")
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "110hvmwspp7bprwwilcwb8kw6wcqrj9z214269fa75j9027k5l0c"))))
+                "0yays5yznwm1mngda78w465l9djw4128hgn24lf76gzripkpsz92"))))
     (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.")