branch master updated (d7a11f1 -> 8023f0f)

[Tobias Geerinckx-Rice]

nckx pushed a change to branch master
in repository guix.

      from  d7a11f1   gnu: pigx-chipseq: Update to 0.0.9.
       new  ef8b9a7   gnu: r-spams: Use predictable source URI.
       new  7d15cf1   gnu: gmp-ecm: Update to 7.0.4.
       new  b5df3e2   gnu: leocad: Update to 18.02.
       new  84775d6   gnu: leocad: Update phase style.
       new  324f192   gnu: leocad: Use HTTPS home page.
       new  8abbe5d   gnu: coq-flocq: Update phase style.
       new  8023f0f   gnu: gparted: Update to 0.31.0.

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/algebra.scm    | 16 ++++++++--------
 gnu/packages/disk.scm       |  8 ++++----
 gnu/packages/lego.scm       | 25 ++++++++++++++-----------
 gnu/packages/ocaml.scm      | 14 +++++++++-----
 gnu/packages/statistics.scm |  9 +++++----
 5 files changed, 40 insertions(+), 32 deletions(-)