branch master updated (65bce4d9f9 -> cacc0cb6ab)

[guix-commits]

jpoiret pushed a change to branch master
in repository guix.

    from 65bce4d9f9 gnu: mpd: Split outputs.
     new f4f5ee6ad6 services: screen-locker-service-type: Configurable PAM and 
setuid.
     new 94879ff743 gnu: heimdal: Run autoreconf.
     new d89247150f gnu: heimdal: Drop obsolete and insecure user tools.
     new b741218e91 gnu: proot: Update to 5.4.0 and fix clone3 behavior.
     new f72f3a909a gnu: sbsigntools: Update to 0.9.5.
     new 1a4aace3af records: match-record: Raise a syntax error if TYPE is 
nonexistent.
     new b88e38d4b5 records: match-record: Support thunked and delayed fields.
     new e6dc1d3996 dir-locals: Fix MATCH-RECORD indentation.
     new 4cd5293621 records: Add MATCH-RECORD-LAMBDA.
     new f045c7ac80 records: match-record: Do not show internal form.
     new 178ffed3b7 tests: records: Add test for ellipsis in body.
     new 89f8fc9c95 gnu: Add ghc-peano.
     new cc67085077 gnu: Add ghc-vector-hashtables.
     new af5d228b13 gnu: agda: Update to 2.6.3 and switch to git-fetch.
     new 789db27c51 gnu: agda: Build info manual.
     new fe6c31e333 gnu: emacs-agda2-mode: No longer inherit from agda.
     new ae29c9d26e gnu: emacs-agda2-mode: Switch to G-Exps.
     new 7a00ab0532 gnu: agda: Add AGDA_LIBDIRS search-path.
     new 0769a9b3c5 build-system/haskell: Export default-haskell.
     new 80d1228321 build-system: New agda-build-system.
     new c1f8bcbbda gnu: Add agda-stdlib.
     new 8203e8f3c9 gnu: Add agda-categories.
     new cf2c3f7970 gnu: Add agda-cubical.
     new 067e75e17a gnu: Add agda-1lab.
     new e198fe4e94 gnu: agda-ial: Update to 
ded30c410d5d40142249686572aa1acd1b2f8cc7.
     new cacc0cb6ab channels: Raise an error if dependency's introduction is 
malformed

The 26 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:
 .dir-locals.el                                     |   3 +-
 Makefile.am                                        |   2 +
 doc/guix-cookbook.texi                             |   5 +-
 doc/guix.texi                                      |  61 ++++-
 gnu/local.mk                                       |   5 +
 gnu/packages/agda.scm                              | 246 +++++++++++++++++----
 gnu/packages/efi.scm                               |  59 +++--
 gnu/packages/haskell-xyz.scm                       |  42 ++++
 gnu/packages/kerberos.scm                          |  36 +--
 gnu/packages/linux.scm                             |   7 +-
 ...agda-categories-remove-incompatible-flags.patch |  31 +++
 .../patches/agda-categories-use-find.patch         |  31 +++
 .../patches/agda-libdirs-env-variable.patch        |  49 ++++
 .../patches/agda-stdlib-use-runhaskell.patch       |  28 +++
 gnu/packages/patches/proot-add-clone3.patch        | 114 ++++++++++
 gnu/services/desktop.scm                           |   6 +-
 gnu/services/xorg.scm                              |  65 +++---
 guix/build-system/{node.scm => agda.scm}           | 108 ++++-----
 guix/build-system/haskell.scm                      |   1 +
 guix/build/agda-build-system.scm                   | 128 +++++++++++
 guix/channels.scm                                  |   9 +-
 guix/read-print.scm                                |   1 +
 guix/records.scm                                   |  88 +++++---
 tests/records.scm                                  |  54 +++++
 24 files changed, 969 insertions(+), 210 deletions(-)
 create mode 100644 
gnu/packages/patches/agda-categories-remove-incompatible-flags.patch
 create mode 100644 gnu/packages/patches/agda-categories-use-find.patch
 create mode 100644 gnu/packages/patches/agda-libdirs-env-variable.patch
 create mode 100644 gnu/packages/patches/agda-stdlib-use-runhaskell.patch
 create mode 100644 gnu/packages/patches/proot-add-clone3.patch
 copy guix/build-system/{node.scm => agda.scm} (56%)
 create mode 100644 guix/build/agda-build-system.scm