Cayetano Santos c10f5781d5 gnu: verilator: Update to 5.046. ...

* gnu/packages/electronics.scm (verilator): Update to 5.046.
[native-inputs]: Add z3.

Change-Id: I3746d75a82e3054ca8d75faa4e0a330d8e7e3ba8

2026-03-01 12:01:48 +01:00

..

bootloader

system: Remove depthcharger bootloader.

2026-02-17 16:52:31 +01:00

build

file-systems: canonicalize-device-spec: Wait for device to exist.

2026-02-23 11:56:12 +09:00

home

gnu: home: dotfiles: Files not excluded when they should.

2026-02-22 19:51:46 +01:00

installer

installer: run-wifi-page: Handle null ‘service-items’.

2026-02-11 12:14:13 +08:00

machine

…

packages

gnu: verilator: Update to 5.046.

2026-03-01 12:01:48 +01:00

services

services: greetd: Fix Signal.

2026-03-01 02:52:22 +01:00

system

system: gdbinit: Save command history by default.

2026-02-27 23:54:00 +01:00

tests

tests: Test lowering of file-like objects values for oci-image.

2026-02-25 22:17:41 +00:00

artwork.scm

…

bootloader.scm

…

ci.scm

ci: Add provenance information for ‘guix’ jobs.

2026-02-20 22:34:55 +01:00

compression.scm

…

home.scm

…

image.scm

…

installer.scm

…

local.mk

gnu: conky: Move to monitoring.

2026-03-01 09:58:57 +01:00

machine.scm

…

packages.scm

…

services.scm

…

system.scm

…

tests.scm

…