branch master updated (8b94d3d5b1 -> c302b7a596)

[guix-commits]

civodul pushed a change to branch master
in repository guix.

    from 8b94d3d5b1 gnu: cadabra2: Fix paths.
     new ecb8ca6266 gnu: openmpi@4: Hard-code file name of ‘ssh’ command.
     new b732d702f9 services: syslog: Add extra-options argument to syslog 
service.
     new 786aff3785 services: syslog: Adjust service for rsyslog compatibility.
     new 5c54300b78 weather: Reword the help message for the expression flag.
     new f1c2681542 deploy: Add ‘--expression’.
     new 4b9b223bff gnu: home: Replace rename in update-symlinks scripts.
     new c2562c6415 gnu: Add pam-hooks.
     new 11ddb60226 gnu: radicale: Update to 3.3.2.
     new 0eac040540 gnu: passt: Update to 2024_12_11.09478d5.
     new 146a57e0d3 gnu: proof-general: Update to 4.5-2.d668946.
     new 8636854d18 gnu: git: Update to 2.47.1.
     new c302b7a596 gnu: hugs: Fix build with GCC.

The 12 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                             |  3 +++
 gnu/home/services/symlink-manager.scm     |  3 ++-
 gnu/local.mk                              |  1 +
 gnu/packages/admin.scm                    | 29 +++++++++++++++++++++++++++++
 gnu/packages/containers.scm               |  4 ++--
 gnu/packages/coq.scm                      | 26 +++++---------------------
 gnu/packages/dav.scm                      | 17 ++++++++++-------
 gnu/packages/hugs.scm                     |  7 +++----
 gnu/packages/mpi.scm                      | 12 +++++++++++-
 gnu/packages/patches/hugs-fix-build.patch | 24 ++++++++++++++++++++++++
 gnu/packages/version-control.scm          |  6 +++---
 gnu/services/base.scm                     |  8 ++++++--
 guix/scripts/deploy.scm                   | 17 +++++++++++++++--
 guix/scripts/weather.scm                  |  2 +-
 14 files changed, 115 insertions(+), 44 deletions(-)
 create mode 100644 gnu/packages/patches/hugs-fix-build.patch