branch master updated (bd2e321 -> 6c171ff)

[Ludovic Courtès]

civodul pushed a change to branch master
in repository guix.

      from  bd2e321   gnu: augeas: Update to 1.8.1. Fixes CVE-2017-7555.
       new  cf684d8   gnu: z3: Build Python bindings.
       new  685bef2   gnu: openmpi: Add separate variant with thread-multiple 
support.
       new  327404a   gnu: openmpi: Remove "static" output.
       new  84bf845   gnu: valgrind: Add separate "doc" output.
       new  0d97d3c   gnu: openmpi: Remove references to compiler pathnames in 
"_info" programs.
       new  df981d8   gnu: openmpi: Modify configuration to reduce closure.
       new  6c171ff   gnu: openmpi: Configure without vampirtrace.

The 7 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:
 gnu/packages/maths.scm    | 34 +++++++++++++++++++----------
 gnu/packages/mpi.scm      | 54 +++++++++++++++++++++++++++++------------------
 gnu/packages/valgrind.scm |  9 ++++++++
 3 files changed, 65 insertions(+), 32 deletions(-)