[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCHES] gnu: Update ocaml; Add camlp5, hevea, and coq.
From: |
Andreas Enge |
Subject: |
Re: [PATCHES] gnu: Update ocaml; Add camlp5, hevea, and coq. |
Date: |
Thu, 4 Jun 2015 22:27:23 +0200 |
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On Wed, Jun 03, 2015 at 04:56:49AM -0400, Mark H Weaver wrote:
> These patches update and improve our ocaml package, and add packages for
> camlp5, hevea, and coq. They also add the Open Publication License 1.0
> or later.
I do not know anything about ocaml, so will not comment on the packages.
Just to say that I would be interested in a unison package, one of those
that stop me from switching to guixsd...
Andreas