gnu: trealla: Update to 2.82.29.

* gnu/packages/prolog.scm (trealla): Update to 2.82.29.

Change-Id: I98c93dc3897a1aa708703c1d5eae1664c89ef801

gnu: lukesmithxyz-st: Fix broken builder script.

I believe broken in e03f2316e45e4aea7501ff29aa174222bdd2e93c with the switch
to a G-exp for the st package phases.

* gnu/packages/suckless.scm (lukesmithxyz-st)[arguments]: Change phases to a
gexp.

Change-Id: I0cb47d07dd40e9d15ffebee089ccac7750f28bad

gnu: watcher: Update to 0.13.8.

* gnu/packages/file-systems.scm (watcher): Update to 0.13.8.
[#:tests?]: Delete.
[#:phases] {check}: Delete.

Change-Id: I4cc961f941ee662e8e725ffcd1ce85715b7b725b

gnu: Add osvvm.

* gnu/packages/electronics.scm (osvvm): New variable.

Change-Id: I7e8dcae236e15bdd75d22cf04d6039fc333257b0
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>
Modified-by: Maxim Cournoyer <maxim@guixotic.coop>

gnu: Add json-for-vhdl.

* gnu/packages/electronics.scm (json-for-vhdl): New variable.

Change-Id: Ia43b8332a882ecd3499a63ea9855e10d65fbac77
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>

gnu: python-hdlmake: Update to 3.3-3.c56cb8e.

* gnu/packages/fpga.scm (python-hdlmake): Update to 3.3-3.c56cb8e.
[native-inputs]: Remove python-setuptools and python-wheel; add python-setuptools-next.

Change-Id: I8f2ea9bcb3673532f8b27bb04b02e33a163ab41d
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>

gnu: python-migen: Update to 0.9.2-1.6e3a9e1.

* gnu/packages/fpga.scm (python-migen): Update to 0.9.2-1.6e3a9e1.
[native-inputs]: Remove python-setuptools and python-wheel; add python-setuptools-next.

Change-Id: Id20f8a46c2608c081c9fcd7133b43723c86fa98d
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>

gnu: grub: Unconditionally disable grub_cmd_date test.

* gnu/packages/bootloaders.scm (grub) [#:phases] {skip-tests}: Remove
conditional.

Change-Id: I9a91377810a60fc0d7a909b4619fc53fe2b5cc8e

gnu: qemu: Reinstate the bios-tables test.

* gnu/packages/virtualization.scm (qemu): Add comment.
[source] <patches>: Remove qemu-disable-bios-tables-test.patch
[#:phases] {replace-firmwares}: Adjust file names.
* gnu/packages/patches/qemu-disable-bios-tables-test.patch: Delete file.
* gnu/local.mk: De-register it.

Change-Id: I9835c21533ce7217d3928f5c02db8a0355af89c8

gnu: acpica: Update to 20250807.

* gnu/packages/admin.scm (acpica): Update to 20250807.

Change-Id: I707a5259e59084d01346c0fb6a79e4ff7ddbdd15

gnu: seabios-qemu: Sync configuration options.

* gnu/packages/firmware.scm (format-qemu-firmware-config-options): New helper
procedure.
(seabios-qemu) [#:phases] {build}: Sync configuration options with those
found in QEMU 10.1.0. Simplify the data representation logic a bit, to allow
for more automation in future changes.

Change-Id: Icd94da3824993754d98e8f748dc4e50e22d02c0b

gnu: seabios: Update home-page URI.

* gnu/packages/firmware.scm (seabios) [home-page]: Update.

Change-Id: I1a48c88f1a8d235d2aa0fbf69474ba66e25f55d7

gnu: openbios-qemu-ppc: Update to 1.1-2.c3a19c1.

* gnu/packages/firmware.scm (openbios-qemu-ppc): Update to 1.1-2.c3a19c1.

Change-Id: I31402ef06db0542abeba0eec8d4ec0b2e5e94e2c

gnu: ipxe: Update to 1.21.1-4.969ce2c.

* gnu/packages/bootloaders.scm (ipxe): Update to 1.21.1-4.969ce2c.

Change-Id: I00ed2edf1a71c3050d1517311fad979687e580f0

services: nginx: Ensure ‘stop’ is synchronous.

Fixes guix/maintenance#17.

Fixes a bug whereby ‘nginx -s stop’ might return before the main nginx process
has actually stopped, which in turn would lead ‘herd restart nginx’ to hang.

* gnu/services/web.scm (nginx-shepherd-service): Change ‘stop’ to use
‘make-kill-destructor’.

Reported-by: Maxim Cournoyer <maxim@guixotic.coop>
Change-Id: I69e8626aab07f806ddc8b1d09d9f0e052a85cf47

tests: Reduce build timeout to 3 minutes for Scheme tests.

* guix/tests.scm (open-connection-for-tests): Reduce #:timeout to 3mn.
(call-with-external-store): Likewise.

Change-Id: I4375e070618a5f38a82a1d26f8424bf4abb607e6

tests: Pass ‘--timeout’ for builds with the host store.

This ensures ‘make check’ doesn’t accidentally start building the world.

* tests/guix-environment-container.sh (GUIX_BUILD_OPTIONS): New environment
variable.
* tests/guix-home.sh (GUIX_BUILD_OPTIONS): Likewise.
* tests/guix-pack-localstatedir.sh (GUIX_BUILD_OPTIONS): Likewise.
* tests/guix-pack-relocatable.sh (GUIX_BUILD_OPTIONS): Likewise.

Change-Id: If8afe9cfc5c0f1f72cd6f3d39dd5d4f6415d1e02

teams: Add release team members.

* etc/teams.scm ("Efraim Flashner", "Noé Lopez", "Rodion Goritskov"):
Add to release team.

Change-Id: I81a658407f37cbda334c2fc567d7a552dbd2b6ad
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

teams: Add release team.

* etc/teams.scm (release): New variable.
* CODEOWNERS: Regenerate.

Change-Id: I8cd590cf6f7fb330215687433c4926ee2bcf067f
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Modified-by: Ludovic Courtès <ludo@gnu.org>

gnu: guile-fibers@1.4: Fix cross-compilation.

* gnu/packages/guile-xyz.scm (guile-fibers-1.4)[arguments]: Add
‘fix-cross-compilation’ phase.

Change-Id: I615800f2f0021cc86f7e6e002e3871b5986eee24