gnu: hpcguix-web: Update to 0.4.0.

* gnu/packages/web.scm (hpcguix-web): Update to 0.4.0.

Change-Id: I66a4689d7e3e93ed4085db937920374dbb5a796e

syscalls: Define riscv64 syscall ID for clone.

* guix/build/syscalls.scm (clone): Add an entry for riscv64.

This allows the use of --container on riscv64.

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

gnu: rust-1.64: Don't make package public.

* gnu/packages/rust.scm (rust-1.64): Use define, not define-public.

Change-Id: I475e8b1028a716f1d04a4aea5da4d6e7ca2a87d7

Merge branch 'rust-team'

Change-Id: Iee33d7b9067d2180fd4b2e28d81716a251a53a01

gnu: chicken: Update to 5.3.0.

* gnu/packages/chicken.scm (chicken): Update to 5.3.0.

Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Change-Id: Id3ec15da586ddfc6dae924c0c8031fd7a4613660

gnu: inspectrum: Update to 0.3.1.

* gnu/packages/radio.scm (inspectrum): Update to 0.3.1.

Change-Id: I51e81e328b332a32e19ab169c602875b21256c4c

gnu: nyxt: Update to 3.10.0.

* gnu/packages/web-browsers.scm (nyxt): Update to 3.10.0.
  [source]: Remove snippet.
  [inputs]: Remove sbcl-nasdf.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
Change-Id: Id131d7168133eb8a31214819c7605d876a1b38f3

gnu: Add cl-machine-state.

* gnu/packages/lisp-xyz.scm (cl-machine-state, ecl-machine-state,
sbcl-machine-state): New variables.

Change-Id: I48d98dabc2fab1d74bc83857cb750efc29e85ab1

Revert "gnu: openssl: Don't error when targeting avr."

This reverts commit baeff7f546d700ae4f0c873bd0fce0ca84bebd21.

ci: Don't cross compile to avr.

* gnu/ci.scm (cross-jobs)[pointless?]: Don't build any packages for avr.

Change-Id: I1728727874d65461b82364e71b70c7d1fd050d90

gnu: sbcl-serapeum: Update to 20231203.

* gnu/packages/lisp-xyz.scm (sbcl-serapeum): Update to 20231203.

Change-Id: If8c364cde4dce2943d6e21770eec90c1ab05bc67

gnu: openssl: Don't error when targeting avr.

* gnu/packages/tls.scm (target->openssl-target): Add case for avr.

Change-Id: I1cfc8b50fa4b2b864f8f8aa8898cc405ffc02580

gnu: system->llvm-target-arch: Add avr target.

* gnu/packages/llvm.scm (system->llvm-target-arch): Add case for avr.

Change-Id: I5291d396ad513cfecdf8f0a6f799ea095fc8d994

gnu: make-crust-package: Don't run from avr.

* gnu/packages/firmware.scm (make-crust-package)[arguments]: In
make-flags don't create tools which can be run from avr.

Change-Id: I118b4941889b884de1e491ace3818d878a887d7c

gnu: linux-libre: Update to 6.6.6.

This kernel release fixes WiFi regressions introduced in 6.6.5:

https://lore.kernel.org/lkml/2023121141-mongoose-dazzler-be1b@gregkh/T/#t
https://cdn.kernel.org/pub/linux/kernel/v6.x/ChangeLog-6.6.6

* gnu/packages/linux.scm (linux-libre-6.6-version): Update to 6.6.6.
(linux-libre-6.6-pristine-source): Update hash.

Change-Id: I502e166eaa7c179c52c581e311d3055032448be9

gnu: lean: Update to 3.51.1.

* gnu/packages/lean.scm (lean): Update to 3.51.1.
[home-page]: Use new home page.
[arguments]<#:phases>: Remove stale phase 'patch-tests-shebangs'.
[inputs]: Remove bash-minimal.

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

gnu: lean: Use G-expressions.

* gnu/packages/lean.scm (lean)[arguments]: Use G-expressions.

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

gnu: pdfarranger: Update to 1.10.1.

* gnu/packages/pdf.scm (pdfarranger): Update to 1.10.1.
[arguments]: Add set-home phase.

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

gnu: openvpn: Update to 2.6.7.

* gnu/packages/vpn.scm (openvpn): Update to 2.6.7.

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

weather: Report unauthorized substitute servers.

The goal is to make it easier to diagnose substitute
misconfiguration (where we’re passing a substitute URL whose
corresponding key is not authorized).

Suggested by Emmanuel Agullo.

* guix/scripts/weather.scm (check-narinfo-authorization): New procedure.
(report-server-coverage): Use it.
* doc/guix.texi (Invoking guix weather): Document it.
(Getting Substitutes from Other Servers): Add “Troubleshooting” frame.

Change-Id: I0a049c39eefb10d6a06634c8b16aa86902769791