l...@gnu.org (Ludovic Courtès) writes:
> Mark H Weaver skribis:
>
>> From b9d2f69ef9b51fc8b987fe703e507bf3603b875a Mon Sep 17 00:00:00 2001
>> From: Mark H Weaver
>> Date: Sat, 30 May 2015 14:59:54 -0400
>> Subject: [PATCH 2/5] gnu: Add camlp5.
>>
>> * gnu/packages/ocaml.scm (camlp5): New variab
Mark H Weaver skribis:
> These patches update and improve our ocaml package, and add packages for
> camlp5, hevea, and coq.
Woow, nice!
> From f2b8ab36b2d3697b7a93b87bfcbcd0e91294c2e1 Mon Sep 17 00:00:00 2001
> From: Mark H Weaver
> Date: Tue, 2 Jun 2015 22:49:10 -0400
> Subject: [PATCH 1/5] g
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.
J
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.
Mark
>From f2b8ab36b2d3697b7a93b87bfcbcd0e91294c2e1 Mon Sep 17 00:00:00 2001
From: Mark H Weaver
Date: Tue, 2 Jun 2015 22:49:10 -0400
S
