branch master updated (de31088 -> 50cbbc9)

[julien lepiller]

roptat pushed a change to branch master
in repository guix.

      from  de31088   gnu: dovecot: Update to 2.2.30.2.
       new  5248516   gnu: Add ocaml-core-kernel.
       new  e31ee74   gnu: Add ocaml-async-kernel.
       new  cf28a73   gnu: Add ocaml-async-rpc-kernel.
       new  4a5fd87   gnu: Add ocaml-core.
       new  7f1620d   gnu: Add ocaml-async-unix.
       new  d7f6d04   gnu: Add ocaml-async-extra.
       new  8447090   gnu: Add ocaml-async.
       new  9059d85   gnu: Add ocaml-ocplib-endian.
       new  0090b89   gnu: Add ocaml-cstruct.
       new  61bafd4   gnu: Add ocaml-hex.
       new  50cbbc9   gnu: coq: Add search-paths for coq libraries.

The 11 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 gnu/packages/ocaml.scm | 246 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 246 insertions(+)