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
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
guix: platform: Add platform-rust-target.
* guix/platform.scm <platform>: Add rust-target field.
* guix/platforms/arm.scm (armv7-linux, aarch64-linux): Add the system's
rust target triplet.
* guix/platforms/mips.scm (mips64-linux):
* guix/platforms/powerpc.scm (powerpc-linux, powerpc64-linux,
powerpc64le-linux):
* guix/platforms/riscv.scm (riscv64-linux):
* guix/platforms/x86.scm (i686-linux, x86_64-linux, i686-mingw,
x86_64-mingw, i586-pc): Same.
Change-Id: Id9dca0fb8ec2b3bf2b3876b974e4bbaa30dbc6a6