branch master updated (e75e699ec3 -> f085755bb8)

[guix-commits]

roptat pushed a change to branch master
in repository guix.

    from e75e699ec3 gnu: Add go-git-sr-ht-rockorager-tcell-term.
     new 9ec87c9785 gnu: coq-core: Update to 8.16.1.
     new 70e4c4e93f gnu: dune-bootstrap: Update to 3.6.1.
     new 295a6b88e4 gnu: js-of-ocaml: Update to 4.1.0.
     new 91b8ef414c gnu: ocaml-topkg: Update to 1.0.6.
     new f085755bb8 gnu: ocaml-zed: Update to 3.2.1.

The 5 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   |  4 ++--
 gnu/packages/ocaml.scm | 16 ++++++++--------
 2 files changed, 10 insertions(+), 10 deletions(-)