branch master updated (7b9ee58925 -> 3d5d09abb8)

[guix-commits]

roptat pushed a change to branch master
in repository guix.

    from 7b9ee58925 tests: Fix tailon test.
     new bff4199e9b gnu: ocaml-ppx-sexp-message: Update to 0.15.0.
     new cd19c36509 gnu: ocaml-ppx-string: Update to 0.15.0.
     new bbdc69dcd1 gnu: ocaml-ppx-enumerate: Update to 0.15.0.
     new ad3f1faad6 gnu: ocaml-ppx-optional: Update to 0.15.0.
     new 19972e112c gnu: ocaml-ppx-assert: Update to 0.15.0.
     new 2a528d96a0 gnu: ocaml-ppx-cold: Update to 0.15.0.
     new f01e73eac9 gnu: ocaml-ppx-js-style: Update to 0.15.0.
     new 7678b531a0 gnu: ocaml-ppx-here: Update to 0.15.0.
     new dd35fdf651 gnu: ocaml-bin-prot: Update to 0.15.0.
     new 59ec6c00b0 gnu: ocaml-time-now: Update to 0.15.0.
     new 1383cf4b3a gnu: ocaml-markup: Update to 1.0.3.
     new 6514485998 gnu: ocaml-bigstringaf: Update to 0.9.0.
     new d1f604c20f gnu: ocaml-splittable-random: Update to 0.15.0.
     new c87661143a gnu: ocaml-ppx-fixed-literal: Update to 0.15.0.
     new 2fd97d5a05 gnu: ocaml-fieldslib: Update to 0.15.0.
     new bbdf8dacbf gnu: ocaml-typerep: Update to 0.15.0.
     new fe940507b1 gnu: ocaml-ppx-typerep-conv: Update to 0.15.0.
     new 217180c1f3 gnu: ocaml-bisect-ppx: Update to 2.8.1.
     new 3e9c40158a gnu: ocaml-utop: Update to 2.9.1.
     new c49e0ef477 gnu: ocaml-ppx-variants-conv: Update to 0.15.0.
     new 0fe56e5bb2 gnu: ocaml-ppx-let: Update to 0.15.0.
     new b45833f512 gnu: ocaml-ppx-module-timer: Update to 0.15.0.
     new 26e3face3d gnu: ocaml-ppx-custom-printf: Update to 0.15.0.
     new 20c090e572 gnu: ocaml-ppx-pipebang: Update to 0.15.0.
     new 25a027b949 gnu: dune: Update to 3.1.1.
     new 6abb5fe8a9 gnu: ocaml-ppx-bench: Update to 0.15.0.
     new 2708cece85 gnu: ocaml-integers: Update to 0.7.0.
     new 43b95fbe7a gnu: ocaml-ctypes: Update to 0.20.1.
     new a9e8b6e7a2 gnu: ocaml-opam-file-format: Update to 2.1.4.
     new 044b42720d gnu: Add ocaml-ppx-ignore-instrumentation.
     new 823005c6a3 gnu: Add ocaml-ppx-log.
     new 564a310065 gnu: Add ocaml-ppx-disable-unused-warnings.
     new 143b9d3a3d gnu: ocaml-ppx-jane: Update to 0.15.0.
     new ae7c2c4b16 gnu: ocaml-ppx-bin-prot: Update to 0.15.0.
     new ffdd749ad5 gnu: ocaml-cstruct: Update to 6.1.0.
     new f076cdba02 gnu: ocaml-ppx-optcomp: Update to 0.15.0.
     new cda4ca0ab5 gnu: ocaml-variantslib: Update to 0.15.0.
     new ab8d68cadd gnu: ocaml-easy-format: Update to 1.3.3.
     new b27a2366ab gnu: ocaml-hex: Update to 1.5.0.
     new 556ccb4ae1 gnu: coq: Update to 8.15.1.
     new e8a3a1d279 gnu: ocaml-ppxlib: Update to 0.25.0.
     new 4fe2489816 gnu: ocaml-core: Update to 0.15.0.
     new 0cea8f99aa gnu: ocaml-base-bigstring: Update to 0.15.0.
     new d1a4653bf6 gnu: ocaml-jane-street-headers: Update to 0.15.0.
     new 72ca35c539 gnu: ocaml-ppx-compare: Update to 0.15.0.
     new 85b23e64e2 gnu: ocaml-ppx-base: Update to 0.15.0.
     new ae08819ca5 gnu: ocaml-ppx-stable: Update to 0.15.0.
     new 4ce554c6da gnu: ocaml-jst-config: Update to 0.15.1.
     new db20b6c133 gnu: ocaml-ppx-sexp-value: Update to 0.15.0.
     new 88ee602039 gnu: ocaml-ppx-hash: Update to 0.15.0.
     new 6d97a08525 gnu: ocaml-parsexp: Update to 0.15.0.
     new a342c32cd5 gnu: ocaml-ppx-fields-conv: Update to 0.15.0.
     new be83b59d31 gnu: ocaml-spawn: Update to 0.15.1.
     new 3d5d09abb8 gnu: ocaml-re: Update to 1.10.4.

The 54 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 | 410 +++++++++++++++++++++++++++++++------------------
 2 files changed, 264 insertions(+), 150 deletions(-)