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 /gnu/packages/python-check.scm | |
| 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
Diffstat (limited to 'gnu/packages/python-check.scm')
0 files changed, 0 insertions, 0 deletions