branch master updated (9e9e5d5 -> 25bc637)

[Tobias Geerinckx-Rice]

nckx pushed a change to branch master
in repository guix.

      from  9e9e5d5   gnu: OpenSSL 1.1: Update to 1.1.1.
       new  1d7cc68   gnu: coq: INVOKE.
       new  ed017a7   gnu: coq: Update to 8.8.1.
       new  56f3b85   gnu: python-iso8601: Update to 0.1.12.
       new  c924fe3   gnu: umoci: Update to 0.4.2.
       new  002d73a   gnu: libwps: Update to 0.4.10.
       new  49c941b   gnu: libmwaw: Update to 0.3.14.
       new  e1bf455   gnu: emacs-magit-popup: Update to 2.12.4.
       new  f9fe94c   gnu: emacs-magit-popup: Don't use unstable tarball.
       new  aae96f8   gnu: libetpan: Don't use unstable tarball.
       new  9f1b186   gnu: libetpan: Update to 1.9.1.
       new  bbe2a94   gnu: libsigrokdecode: Update to 0.5.2.
       new  25bc637   gnu: snakemake: Update to 5.2.4.

The 12 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/electronics.scm    |  4 ++--
 gnu/packages/emacs.scm          | 14 +++++++-------
 gnu/packages/libreoffice.scm    | 16 ++++++++--------
 gnu/packages/mail.scm           | 13 +++++++------
 gnu/packages/ocaml.scm          | 22 +++++++++++-----------
 gnu/packages/python.scm         |  7 ++++---
 gnu/packages/time.scm           |  4 ++--
 gnu/packages/virtualization.scm |  4 ++--
 8 files changed, 43 insertions(+), 41 deletions(-)