branch staging updated (1262be5 -> af8fd11)

[guix-commits]

mbakke pushed a change to branch staging
in repository guix.

      from  1262be5   gnu: glib-networking: Work around test failure.
      adds  b12f872   system: Fix missing space in boot labels for kernels that 
are inferior packages
      adds  7f4d102   offload: Remove the "machine choice" lock.
      adds  0ef595b   offload: Remove unnecessary locking on machine slots.
      adds  7ba2b27   gnu: Add badvpn.
      adds  79f6fc0   gnu: antlr2: Fix reproducibility.
      adds  fbf7b7e   gnu: mit-scheme: Enable tests.
      adds  d037353   gnu: kodi: Update to 18.0rc3.
      adds  6286880   gnu: terminology: Update to 1.3.2.
      adds  4a2e1e7   gnu: Add emacs-dedukti-mode.
      adds  ad536c9   gnu: Add emacs-flycheck-dedukti.
      adds  2939fe7   gnu: Add ocaml-biniou.
      adds  2e95170   gnu: Add ocaml-yojson.
      adds  912f440   gnu: ocaml: Fix indentation.
      adds  ad3c9fb   gnu: guix: Update to 7ba2b27.
      adds  5923102   pull: Add '--system'.
      adds  039ccc7   gnu: Add guile-mastodon.
      adds  c180017   lint: Check for unstable tarballs.
      adds  83541fb   gnu: viewnior: Don't use unstable tarball.
      adds  3d6bc5a   gnu: vim: Use https.
      adds  b130354   gnu: vim: Don't use unstable tarball.
      adds  035f916   gnu: strace: Update to 4.26.
      adds  b79ed58   gnu: samba: Update to 4.9.4.
      adds  5a7899f   gnu: mbedtls-apache: Update to 2.16.0.
       new  af8fd11   Merge branch 'master' into staging

The 1 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:
 doc/guix.texi                       |  10 +++
 gnu/packages/emacs.scm              |  58 +++++++++++++
 gnu/packages/enlightenment.scm      |   4 +-
 gnu/packages/guile.scm              |  29 +++++++
 gnu/packages/image-viewers.scm      |  10 ++-
 gnu/packages/java.scm               |   5 ++
 gnu/packages/kodi.scm               |   4 +-
 gnu/packages/linux.scm              |   6 +-
 gnu/packages/ocaml.scm              | 155 +++++++++++++++++++++++----------
 gnu/packages/package-management.scm |   6 +-
 gnu/packages/samba.scm              |   4 +-
 gnu/packages/scheme.scm             |  24 ++++-
 gnu/packages/tls.scm                |   4 +-
 gnu/packages/vim.scm                |  13 +--
 gnu/packages/vpn.scm                |  47 ++++++++++
 gnu/system.scm                      |   2 +-
 guix/scripts/lint.scm               |  23 ++++-
 guix/scripts/offload.scm            | 169 ++++++++++++++++--------------------
 guix/scripts/pull.scm               |   7 +-
 tests/lint.scm                      |  80 +++++++++++++++++
 20 files changed, 489 insertions(+), 171 deletions(-)