branch master updated (7c6ace6 -> e38b4d5)

[guix-commits]

roptat pushed a change to branch master
in repository guix.

    from 7c6ace6  Revert "gnu: sbcl: Update to 2.1.7."
     new 96707d5  gnu: ocaml-zarith: Update to 1.12.
     new 3589c17  gnu: lablgtk3: Install with version information.
     new 3c44aa2  gnu: coq-stdpp: Update to 1.5.0.
     new e38b4d5  gnu: coq: Update to 8.13.2.

The 4 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   | 151 +++++++++++++++++++++----------------------------
 gnu/packages/ocaml.scm |  21 +++++--
 2 files changed, 80 insertions(+), 92 deletions(-)