branch master updated (fc07082fe3 -> d46e955d93)

[guix-commits]

roptat pushed a change to branch master
in repository guix.

    from fc07082fe3 gnu: Add maven-sisu-plugin.
     new 8371ad6408 gnu: Add ocaml-ansiterminal.
     new 17098178c1 gnu: Add coq-mathcomp-finmap.
     new 501072af86 gnu: Add coq-mathcomp-bigenough.
     new 142cccef63 gnu: Add python-version.
     new 13c1ed6a19 gnu: Add python-editables.
     new d46e955d93 gnu: Add python-icdiff.

The 6 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 gnu/packages/coq.scm          | 77 +++++++++++++++++++++++++++++++++++++++++++
 gnu/packages/ocaml.scm        | 30 +++++++++++++++++
 gnu/packages/python-build.scm | 23 +++++++++++++
 gnu/packages/python-xyz.scm   | 44 +++++++++++++++++++++++++
 4 files changed, 174 insertions(+)