07/07: gnu: yosys: Update to 0.62.

[guix-commits]

guix_mirror_bot pushed a commit to branch master
in repository guix.

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

    gnu: yosys: Update to 0.62.
    
    * gnu/packages/electronics.scm (yosys): Update to 0.62.
    [source]: Add snippet.
    
    Change-Id: Id4243a7c14314459db6bfea797c1f6bb1af053e6
---
 gnu/packages/electronics.scm | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index 9d8142a6e9..4011097b49 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -3759,15 +3759,20 @@ parallel computing platforms.  It also supports serial 
execution.")
 (define-public yosys
   (package
     (name "yosys")
-    (version "0.61")
+    (version "0.62")
     (source
      (origin
        (method git-fetch)
        (uri (git-reference
               (url "https://github.com/YosysHQ/yosys";)
               (commit (string-append "v" version))))
+       (snippet
+        #~(begin
+            (use-modules (guix build utils)
+                         (srfi srfi-26))
+            (delete-file-recursively "abc")))
        (sha256
-        (base32 "1z96wvgm12vcsp88xkdljvhrrx9b8wc9y2gwjsff83jsp2q0q2wp"))
+        (base32 "1x4j191wsp276jallp0xr92z19q4r5ddy2vr8vli95nrn5chy1hl"))
        (file-name (git-file-name name version))))
     (build-system gnu-build-system)
     (arguments