branch master updated (eb5df275ce -> 85d7ad2be8)

[guix-commits]

roptat pushed a change to branch master
in repository guix.

    from eb5df275ce gnu: Add r-gghalves.
     new a24dbd25eb gnu: coq: Update to 8.15.2.
     new ad91e2a010 gnu: ocaml-utop: Update to 2.9.2.
     new f25033d9ea gnu: ocaml-tsdl: Update to 0.9.9.
     new fcb23bf406 gnu: ocamlformat: Update to 0.22.4.
     new 773837bfd2 gnu: ocaml-easy-format: Update to 1.3.4.
     new 3cd53fc08f gnu: omake: Update to 0.10.5.
     new 0133c000c9 gnu: ocaml-sexplib0: Update to 0.15.1.
     new 4a94cfbe4d gnu: Add ocaml-piqilib.
     new 7b615e3e6c gnu: Add ocaml-piqi.
     new 0bf2cf1351 gnu: Add ocaml-ezjsonm.
     new 85d7ad2be8 gnu: ocaml-ezjsonm: Update to 1.3.0.

The 11 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                             | 106 ++++++++++-----------
 .../patches/omake-fix-non-determinism.patch        |  15 +--
 3 files changed, 60 insertions(+), 65 deletions(-)