branch master updated (b1b9e5c -> 5c7bdc9)

[Ludovic Courtès]

civodul pushed a change to branch master
in repository guix.

      from  b1b9e5c   gnu: linux-libre: Update to 4.2.5.
       new  6c8d70b   gnu: linux-libre: Add 'supported-systems' field: Intel 
only for now.
       new  726029b   gnu: linux-libre: Add case for ARCH=mips.
       new  44a88ce   gnu: linux-libre: On MIPS, the linux image name is 
vmlinuz, not bzImage.
       new  0431ed0   doc: Add texinfo to the requirements when building from 
git.
       new  04e0eac   gnu: grub: Use modify-phases and other minor cleanups.
       new  5830166   gnu: grub: Install documentation.
       new  f151298   substitute: 'http-multiple-get' follows 'fold' style.
       new  a89dde1   substitute: 'lookup-narinfos' returns exactly a list of 
narinfos.
       new  55b2fc1   substitute: Honor all the specified server URLs.
       new  5c7bdc9   gnu: python-debian: Avoid @itemize in description.

The 10 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/contributing.texi       |    1 +
 gnu/packages/grub.scm       |   32 ++++++++-----
 gnu/packages/linux.scm      |    4 +-
 gnu/packages/python.scm     |    6 ++-
 guix/scripts/challenge.scm  |    6 +--
 guix/scripts/substitute.scm |  113 +++++++++++++++++++++++--------------------
 tests/substitute.scm        |    4 +-
 7 files changed, 93 insertions(+), 73 deletions(-)