branch master updated (41891ea973 -> b594c2b154)

[guix-commits]

cbaines pushed a change to branch master
in repository guix.

    from 41891ea973 gnu: Add rust-1.79.
     new 56770f7d59 Revert "guix: Run check-synopsis-style with other local 
checks."
     new ffdbf1f11e store: Refactor connect-to-daemon.
     new da3e71f472 services: web: Improve nginx formatting for extra-content.
     new b594c2b154 gnu: proof-general: Update to 4.5@cb23709a.

The 4 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/guix.texi        | 13 ++++++++--
 gnu/packages/coq.scm | 16 ++++++++----
 gnu/services/web.scm |  9 ++++++-
 guix/lint.scm        |  9 +++----
 guix/store.scm       | 69 ++++++++++++++++++++++++----------------------------
 5 files changed, 66 insertions(+), 50 deletions(-)