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

weather: Use the same substitute URLs as guix-daemon.

* guix/scripts/weather.scm (%default-options): Remove ‘substitute-urls’.
(guix-weather): Call ‘substitute-urls’ when OPTS doesn’t have it.  Warn
when ‘substitute-urls’ returns #f.
* doc/guix.texi (Invoking guix weather): Adjust accordingly.

Change-Id: I3e9100074f2ad559e5c408660db70430d64f2bef

challenge: Use the same substitute URLs as guix-daemon.

* guix/scripts/challenge.scm (%default-options): Remove ‘substitute-urls’.
(guix-challenge): Call ‘substitute-urls’ when OPTS doesn’t have it.  Warn
when ‘substitute-urls’ returns #f.

Change-Id: I49be0e89404c1889970a3430967fbb3498d35d99

daemon: Implement ‘substitute-urls’ RPC.

* nix/libstore/worker-protocol.hh (PROTOCOL_VERSION): Bump.
(WorkerOp): Add ‘wopSubstituteURLs’.
* nix/nix-daemon/nix-daemon.cc (performOp): Implement it.
* guix/store.scm (%protocol-version): Bump.
(operation-id): Add ‘substitute-urls’.
(substitute-urls): New procedure.
* tests/store.scm ("substitute-urls, default")
("substitute-urls, client-specified URLs")
("substitute-urls, disabled"): New tests.

Change-Id: I2c0119500c3a1eecfa5ebf32463ffb0f173161de

doc: suggest using pre-inst-env for git-send-email on foreign distros

On foreign distros, not using pre-inst-env when using git-send-email results
in a backtrace ending with: no code for module (guix ui)
This can be confusing as users did not have to use pre-inst-env to use
git-send-email before.

* doc/contributing.texi (Sending a Patch Series): add a note to suggest using
pre-inst-env when calling git-send-email on foreign distros.

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

gnu: libgpg-error: Do not assume that target is a triplet.

Fixes a bug exposed with be5ec2ebb4bde4b4f702a30f08849dff05cceccd, which
introduces the “avr” target, which has no hyphen.

* gnu/packages/gnupg.scm (libgpg-error)[arguments]: In ‘cross-symlinks’
phase, adjust code to deal with TARGET lacking a hyphen.

Change-Id: I1aff6a94a7c92626f931c459d1dc0509f9bcfc00

gnu: Remove linux-libre 6.5.

This kernel series is no longer supported upstream.

* gnu/packages/linux.scm (linux-libre-6.5-version, linux-libre-6.5-gnu-revision,
deblob-scripts-6.5, linux-libre-6.5-pristine-source, linux-libre-6.5-source,
linux-libre-headers-6.5, linux-libre-6.5): Remove variables.
* gnu/packages/aux-files/linux-libre/6.5-arm.conf,
gnu/packages/aux-files/linux-libre/6.5-arm64.conf,
gnu/packages/aux-files/linux-libre/6.5-i686.conf,
gnu/packages/aux-files/linux-libre/6.5-x86_64.conf: Delete files.
* Makefile.am (AUX_FILES): Remove them.

Change-Id: I142c28a82ab4afbdc62f5bfcd69382a4d2a0ea8c

gnu: linux-libre 4.14: Update to 4.14.332.

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

Change-Id: If24c7d599583a042ca224e87b9e54b46954e4c16

gnu: linux-libre 4.19: Update to 4.19.301.

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

Change-Id: I0c47e3ba6ef708209e4966451e9749945cdc3ea1

gnu: linux-libre 5.4: Update to 5.4.263.

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

Change-Id: I5a8bb2335e0d3ee2bb40da0a6162de8c5061e1f7