branch master updated (4bf4e340b7 -> 46ec8592f7)

[guix-commits]

civodul pushed a change to branch master
in repository guix.

    from 4bf4e340b7 gnu: Remove linux-libre 6.5.
     new 7217c93486 gnu: libgpg-error: Do not assume that target is a triplet.
     new b650dcabf1 doc: suggest using pre-inst-env for git-send-email on 
foreign distros
     new 1e47148f46 daemon: Implement ‘substitute-urls’ RPC.
     new f63a8c5ca2 challenge: Use the same substitute URLs as guix-daemon.
     new 7e11369586 weather: Use the same substitute URLs as guix-daemon.
     new 4348947c74 weather: Report unauthorized substitute servers.
     new d74faef4f7 gnu: openvpn: Update to 2.6.7.
     new 17213c1b20 gnu: pdfarranger: Update to 1.10.1.
     new f1bcc043a4 gnu: lean: Use G-expressions.
     new 46ec8592f7 gnu: lean: Update to 3.51.1.

The 10 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 doc/contributing.texi           |  5 ++++
 doc/guix.texi                   | 26 ++++++++++++++++--
 gnu/packages/gnupg.scm          |  9 +++---
 gnu/packages/lean.scm           | 51 +++++++++++++++-------------------
 gnu/packages/pdf.scm            |  9 ++++--
 gnu/packages/vpn.scm            | 11 ++++----
 guix/scripts/challenge.scm      | 11 ++++++--
 guix/scripts/weather.scm        | 61 +++++++++++++++++++++++++++++++++++++++--
 guix/store.scm                  | 18 ++++++++++--
 nix/libstore/worker-protocol.hh |  5 ++--
 nix/nix-daemon/nix-daemon.cc    | 17 ++++++++++++
 tests/store.scm                 | 25 +++++++++++++++--
 12 files changed, 189 insertions(+), 59 deletions(-)