[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

branch master updated (de31088 -> 50cbbc9)

From: julien lepiller
Subject: branch master updated (de31088 -> 50cbbc9)
Date: Tue, 6 Jun 2017 15:09:58 -0400 (EDT)

roptat pushed a change to branch master
in repository guix.

      from  de31088   gnu: dovecot: Update to
       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(+)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]