01/05: gnu: verilator: Update to 5.046.

[guix-commits]

guix_mirror_bot pushed a commit to branch master
in repository guix.

commit c10f5781d506c0fea812d1aa9060ff2c80e27d82
Author: Cayetano Santos <csant...@inventati.org>
AuthorDate: Sun Mar 1 10:39:21 2026 +0100

    gnu: verilator: Update to 5.046.
    
    * gnu/packages/electronics.scm (verilator): Update to 5.046.
    [native-inputs]: Add z3.
    
    Change-Id: I3746d75a82e3054ca8d75faa4e0a330d8e7e3ba8
---
 gnu/packages/electronics.scm | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index 136e99112c..2e0644ffd2 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -3766,7 +3766,7 @@ unique design feature of Trilinos is its focus on 
packages.")
 (define-public verilator
   (package
     (name "verilator")
-    (version "5.044")
+    (version "5.046")
     (source
      (origin
        (method git-fetch)
@@ -3775,7 +3775,7 @@ unique design feature of Trilinos is its focus on 
packages.")
               (commit (string-append "v" version))))
        (file-name (git-file-name name version))
        (sha256
-        (base32 "1x6c94phxjsl5d54rg6bf8ylswsq8729l6rhf2lf6rv770vxhy6g"))))
+        (base32 "1gr1qhxvl4856hnmnx46dqd2qp0jhdh959zm2qfmxzzh19np7xkm"))))
     (native-inputs
      (list autoconf
            automake
@@ -3787,7 +3787,8 @@ unique design feature of Trilinos is its focus on 
packages.")
            help2man
            python-distro
            python-minimal
-           which))
+           which
+           z3))
     (inputs
      (list perl python systemc))
     (build-system gnu-build-system)