branch master updated (d355381062 -> f04dceac72)

[guix-commits]

nckx pushed a change to branch master
in repository guix.

    from d355381062 gnu: python-pygit2: Update to 1.9.1.
     new 388e039044 gnu: isc-dhcp: Update to 4.4.3.
     new 2c67e1cfbf gnu: agda: Update to 2.6.2.2.
     new 914d2c2142 gnu: agda: Use G-expressions.
     new 5ed3fca18c gnu: iceauth: Update to 1.0.9.
     new 5fdc955615 doc: Avoid leading ‘But’.
     new b4c9a3d23b gnu: recutils: Remove some input labels.
     new 20fbd87093 gnu: recutils: Fix cross-compilation.
     new faf715b1dc gnu: lighttpd: Fix bash reference.
     new fd7130e4b5 gnu: lighttpd: Update to 1.4.64.
     new cd00881d72 gnu: lighttpd: Update style.
     new de15ca7af8 gnu: beep: Update to 1.4.12.
     new e6c3e7d741 gnu: beep: Use G-expressions.
     new f04dceac72 gnu: beep: Drop obsolete $(pkgdocdir) make flag.

The 13 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                                  |  4 +-
 gnu/local.mk                                   |  1 -
 gnu/packages/admin.scm                         |  5 +-
 gnu/packages/agda.scm                          | 38 ++++++------
 gnu/packages/databases.scm                     | 34 +++++------
 gnu/packages/patches/isc-dhcp-gcc-compat.patch | 72 -----------------------
 gnu/packages/terminals.scm                     | 42 ++++++++------
 gnu/packages/web.scm                           | 80 ++++++++++++++------------
 gnu/packages/xorg.scm                          |  7 +--
 9 files changed, 112 insertions(+), 171 deletions(-)
 delete mode 100644 gnu/packages/patches/isc-dhcp-gcc-compat.patch