03/07: gnu: abc-yosyshq: Update to 0.62.

[guix-commits]

guix_mirror_bot pushed a commit to branch master
in repository guix.

commit 3b5c2019e712d4ba15c4f915853be6880789e61a
Author: Cayetano Santos <csant...@inventati.org>
AuthorDate: Wed Feb 4 10:41:19 2026 +0100

    gnu: abc-yosyshq: Update to 0.62.
    
    * gnu/packages/electronics.scm (abc-yosyshq): Update to 0.62.
    
    Change-Id: I5fb8b93356e134b2610dfdb9a5c5218bb7fca9e0
---
 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 1f789dc116..fa298aa633 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -252,7 +252,7 @@ formal verification.")
   (package
     (inherit abc)
     (name "abc-yosyshq")
-    (version "0.61")
+    (version "0.62")
     (source (origin
               (method git-fetch)
               (uri (git-reference
@@ -261,7 +261,7 @@ formal verification.")
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "0x6662719qdybkd46vh9aq3p20xngwn9g81155j96a4r6jdqm1js"))))
+                "1f3nza8w5r0z2pkngf5iyqgrl23l5qqr7d4gkh3grs72wrrrbmyz"))))
     (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.")