branch master updated (33d5141239 -> 82ea33d295)

[guix-commits]

roptat pushed a change to branch master
in repository guix.

    from 33d5141239 gnu: python-setuptools: Update to 64.0.3.
     new 7034824dcb gnu: ocaml-zed: Update to 3.2.0.
     new 07dcba5437 gnu: ocaml-yojson: Update to 2.0.2.
     new b4d97ef2de gnu: ocaml-piqi: Update to 0.7.8.
     new 42d5f769fb gnu: dune: Update to 4.4.1.
     new b7b2c92274 gnu: ocaml-ssl: Update to 0.5.12.
     new 96b3449823 gnu: ocaml-piqilib: Update to 0.6.16.
     new d75210a871 gnu: ocaml-odoc-parser: Update to 2.0.0.
     new 7b95125bad gnu: ocaml-alcotest: Update to 1.6.0.
     new 628713ea73 gnu: ocaml-version: Update to 3.5.0.
     new 3d065a81a7 gnu: ocaml-cstruct: Update to 6.1.1.
     new 893299b3ee gnu: ocaml-biniou: Update to 1.2.2.
     new 07fecda3dd gnu: ocaml-timed: Update to 1.1.
     new 9062bb56c8 gnu: ocaml-sexplib: Update to 0.15.1.
     new 82ea33d295 gnu: ocaml-cudf: Update to 0.10.

The 14 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   |  13 ++-
 gnu/packages/ocaml.scm | 212 ++++++++++++++++++++++++++-----------------------
 2 files changed, 123 insertions(+), 102 deletions(-)