branch master updated (c6deb68 -> dae950c)

[guix-commits]

civodul pushed a change to branch master
in repository guix.

      from  c6deb68   gnu: Add rust-walkdir.
       new  b8815c5   swh: 'swh-download' prints debugging info.
       new  8146c48   swh: Correctly handle visits without a snapshot.
       new  83ac4c0   gnu: agda-ial: Fix install step.
       new  5416d9a   gnu: Add cedille.
       new  8f67a76   lint: Log diagnostics with 'info', not 'warning'.
       new  d229215   diagnostics: Avoid highlighting complete messages.
       new  2a5f781   gnu: emacs-evil-owl: Update to 0.0.1-2.e8fe5b2.
       new  e09c7f4   remote, ssh: Show the command exit status upon failure.
       new  dae950c   deploy: Do not quote error messages.

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


Summary of changes:
 gnu/local.mk               |   2 +
 gnu/packages/agda.scm      |   2 +-
 gnu/packages/cedille.scm   | 124 +++++++++++++++++++++++++++++++++++++++++++++
 gnu/packages/emacs-xyz.scm |   9 ++--
 guix/diagnostics.scm       |   7 ++-
 guix/git-download.scm      |   7 ++-
 guix/remote.scm            |  12 +++--
 guix/scripts/deploy.scm    |   2 +-
 guix/scripts/lint.scm      |   6 +--
 guix/ssh.scm               |  14 ++---
 guix/swh.scm               |  34 +++++++++----
 11 files changed, 186 insertions(+), 33 deletions(-)
 create mode 100644 gnu/packages/cedille.scm