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>

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

gnu: linux-libre 5.10: Update to 5.10.203.

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

Change-Id: I9f0337dd86718bc50460d0d3a65b6a91efda0358

gnu: linux-libre 5.15: Update to 5.15.142.

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

Change-Id: I4a376343b2f06e9db685a61f0033cf70b94fc0c4

gnu: linux-libre: Update to 6.6.5.

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

Change-Id: I4c3e3923da171ff7edff412dd59f899edbd9ddb0

gnu: linux-libre 6.1: Update to 6.1.67.

This kernel release fixes WiFi regressions introduced in 6.1.66:

https://lore.kernel.org/lkml/2023121147-turban-polish-002d@gregkh/T/#t
https://cdn.kernel.org/pub/linux/kernel/v6.x/ChangeLog-6.1.67

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

Change-Id: Id2ef8f7f5d8c0af19284a3e6cd1283e029b3eb38