branch master updated (baa6b77 -> 85cdab6)

[Ludovic Courtès]

civodul pushed a change to branch master
in repository guix.

      from  baa6b77   gnu: vim: Update to 8.0.0808.
       new  53ac697   gnu: tome4: Clean up snippet.
       new  a4078ac   gnu: erlang: Fix man-pages search path of 'erl -man'.
       new  313844d   gnu: Add z3.
       new  85cdab6   gnu: yosys: Add dependency on z3.

The 4 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/local.mk                               |  1 +
 gnu/packages/erlang.scm                    |  4 +++-
 gnu/packages/fpga.scm                      |  5 ++++-
 gnu/packages/games.scm                     | 10 ++++-----
 gnu/packages/maths.scm                     | 35 ++++++++++++++++++++++++++++++
 gnu/packages/patches/erlang-man-path.patch | 24 ++++++++++++++++++++
 6 files changed, 71 insertions(+), 8 deletions(-)
 create mode 100644 gnu/packages/patches/erlang-man-path.patch