Merge branch 'master' into core-updates

diff --cc Makefile.am
Simple merge

diff --cc doc/guix.texi
Simple merge

diff --cc gnu/local.mk
Simple merge

diff --cc gnu/packages/bioinformatics.scm
Simple merge

diff --cc gnu/packages/dictionaries.scm
Simple merge

diff --cc gnu/packages/emacs-xyz.scm
Simple merge

diff --cc gnu/packages/finance.scm
Simple merge

diff --cc gnu/packages/games.scm
Simple merge

diff --cc gnu/packages/gl.scm
Simple merge

diff --cc gnu/packages/graphics.scm
Simple merge

diff --cc gnu/packages/java.scm
index fe745a5,3b74049..495e6bb
--- 1/gnu/packages/java.scm
--- 2/gnu/packages/java.scm
+++ b/gnu/packages/java.scm
@@@ -201,12 -193,8 +204,13 @@@ language."
      (inputs
       `(("classpath" ,classpath-bootstrap)
         ("jikes" ,jikes)
+        ("libffi" ,libffi)
         ("zlib" ,zlib)))
 +    ;; When built with a recent GCC and glibc the configure step of icedtea-6
 +    ;; fails with an invalid instruction error.
 +    (native-inputs
 +     `(("gcc" ,gcc-5)
 +       ("libc" ,glibc-2.28)))
      (home-page "http://jamvm.sourceforge.net/")
      (synopsis "Small Java Virtual Machine")
      (description "JamVM is a Java Virtual Machine conforming to the JVM

diff --cc gnu/packages/linux.scm
index 78de223,21cd4a2..e1fc4a9
--- 1/gnu/packages/linux.scm
--- 2/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@@ -418,10 -434,14 +433,15 @@@ corresponding UPSTREAM-SOURCE (an origi
      (patches (append (origin-patches source)
                       patches))))
  
+ (define-public linux-libre-5.3-source
+   (source-with-patches linux-libre-5.3-pristine-source
+                        (list %boot-logo-patch
+                              %linux-libre-arm-export-__sync_icache_dcache-patch)))
+ 
  (define-public linux-libre-5.2-source
    (source-with-patches linux-libre-5.2-pristine-source
 -                       (list %boot-logo-patch
 +                       (list (search-patch "linux-libre-active-entropy.patch")
 +                             %boot-logo-patch
                               %linux-libre-arm-export-__sync_icache_dcache-patch)))
  
  (define-public linux-libre-4.19-source

diff --cc gnu/packages/machine-learning.scm
Simple merge

diff --cc gnu/packages/mail.scm
Simple merge

diff --cc gnu/packages/music.scm
Simple merge

diff --cc gnu/packages/networking.scm
Simple merge

diff --cc gnu/packages/perl.scm
Simple merge

diff --cc gnu/packages/python-xyz.scm
Simple merge

diff --cc gnu/packages/serialization.scm
Simple merge

diff --cc gnu/packages/tls.scm
Simple merge

diff --cc gnu/packages/video.scm
Simple merge

diff --cc gnu/packages/web-browsers.scm
Simple merge

diff --cc gnu/packages/web.scm
Simple merge

diff --cc gnu/packages/wm.scm
Simple merge

diff --cc gnu/packages/xfce.scm
Simple merge

diff --cc gnu/packages/xml.scm
Simple merge

diff --cc gnu/services/base.scm
Simple merge

diff --cc gnu/system.scm
Simple merge

diff --cc guix/gexp.scm
Simple merge

diff --cc guix/scripts/environment.scm
Simple merge