diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2026-03-01 10:39:21 +0100 |
|---|---|---|
| committer | Cayetano Santos <csantosb@inventati.org> | 2026-03-01 12:01:48 +0100 |
| commit | c10f5781d506c0fea812d1aa9060ff2c80e27d82 (patch) | |
| tree | f99183eae1664eea282060037529abea969e5198 | |
| parent | 9a157f30cfcf799157477379ba712ef4b7512ed8 (diff) | |
gnu: verilator: Update to 5.046.
* gnu/packages/electronics.scm (verilator): Update to 5.046.
[native-inputs]: Add z3.
Change-Id: I3746d75a82e3054ca8d75faa4e0a330d8e7e3ba8
| -rw-r--r-- | gnu/packages/electronics.scm | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index 136e99112ca..2e0644ffd25 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) |