branch master updated (90fe823638 -> 01ee39cfee)

[guix-commits]

roptat pushed a change to branch master
in repository guix.

    from 90fe823638 gnu: nats-server: Update to 2.10.10.
     new fe0c13b1f9 gnu: ocaml: Update to 4.14.1.
     new 95c30e0334 gnu: Update coq-flocq to 4.1.1.
     new 4b7cc09c8b gnu: Update coq-gappa to 1.5.3.
     new db7c87e070 gnu: Update coq-coquelicot to 3.4.0.
     new 9ae0ff50ac gnu: Update coq-mathcomp to 1.17.0.
     new 3f9d44b0bd gnu: Update coq-autosubst to 1.8.
     new e154a7f43a gnu: Update coq-stdpp to 1.8.0.
     new c168dc5ad1 gnu: Update coq-interval to 4.8.0.
     new 4b941ab3d5 gnu: coq: Update to 8.17.1.
     new e673ab8d40 gnu: dune-bootstrap: Update to 3.11.0.
     new b70249fa1e gnu: opam: Split build into smaller sub-packages.
     new 3c6b057791 gnu: ocaml-alcotest: Update to 1.7.0.
     new 479b75e985 gnu: ocaml-sexplib: Update to 0.16.0.
     new 7e7c0d944d gnu: ocaml-ppxlib: Update to 0.28.
     new 45e6889455 gnu: Add ocaml-ppx-stable-witness.
     new 48145430c3 gnu: ocaml-bin-prot: Update to 0.16.0.
     new 4584ec6415 gnu: ocaml-ppx-bin-prot: Update to 0.16.0.
     new 98497f923d gnu: ocaml-jst-config: Update to 0.16.0.
     new 30ad3fb059 gnu: ocaml-ppx-bench: Update to 0.16.0.
     new ccd5965ed0 gnu: Add ocaml-ppx-deriving-yojson.
     new 10d8b7523c gnu: Add ocaml-junit.
     new da2521a63f gnu: Add ocaml-junit-alcotest.
     new c1a12ad8ad gnu: Add ocaml-yaml.
     new 93f4f69a69 gnu: Add ocaml-ppx-deriving-yaml.
     new 97d574ddc4 gnu: Add ocaml-ppx-import.
     new 039cf0e35c gnu: Add ocaml-pp.
     new b2a71b868c gnu: Add dune-ordering.
     new 1cbb3fd8f0 gnu: Add dune-dyn.
     new d7bd8c86c3 gnu: Add dune-stdune.
     new 34327bb715 gnu: Add dune-private-libs.
     new 594a412231 gnu: Add dune-site.
     new 41634d3b5f gnu: frama-c: Update to 27.1.
     new 90cfb68a31 gnu: ocaml-base64: Update to 3.5.1.
     new 01ee39cfee gnu: opam: Update to 2.1.5.

The 34 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/local.mk                                       |   5 -
 gnu/packages/coq.scm                               | 163 ++---
 gnu/packages/maths.scm                             |  54 +-
 gnu/packages/ocaml.scm                             | 742 ++++++++++++++++-----
 gnu/packages/patches/coq-fix-envvars.patch         |  53 --
 .../patches/ocaml-dose3-Fix-for-ocaml-4.06.patch   |  52 --
 .../patches/ocaml-dose3-Install-mli-cmx-etc.patch  | 133 ----
 .../patches/ocaml-dose3-add-unix-dependency.patch  |  25 -
 .../patches/ocaml-dose3-dont-make-printconf.patch  |   9 -
 9 files changed, 670 insertions(+), 566 deletions(-)
 delete mode 100644 gnu/packages/patches/coq-fix-envvars.patch
 delete mode 100644 gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch
 delete mode 100644 gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch
 delete mode 100644 gnu/packages/patches/ocaml-dose3-add-unix-dependency.patch
 delete mode 100644 gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch