[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 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(+)
- branch master updated (de31088 -> 50cbbc9),
julien lepiller <=
- 03/11: gnu: Add ocaml-async-rpc-kernel., julien lepiller, 2017/06/06
- 02/11: gnu: Add ocaml-async-kernel., julien lepiller, 2017/06/06
- 09/11: gnu: Add ocaml-cstruct., julien lepiller, 2017/06/06
- 01/11: gnu: Add ocaml-core-kernel., julien lepiller, 2017/06/06
- 05/11: gnu: Add ocaml-async-unix., julien lepiller, 2017/06/06
- 07/11: gnu: Add ocaml-async., julien lepiller, 2017/06/06
- 11/11: gnu: coq: Add search-paths for coq libraries., julien lepiller, 2017/06/06
- 06/11: gnu: Add ocaml-async-extra., julien lepiller, 2017/06/06
- 04/11: gnu: Add ocaml-core., julien lepiller, 2017/06/06
- 10/11: gnu: Add ocaml-hex., julien lepiller, 2017/06/06