From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: Re: [PATCHES] gnu: Update ocaml; Add camlp5, hevea, and coq. Date: Thu, 4 Jun 2015 22:27:23 +0200 Message-ID: <20150604202723.GA7599@debian> References: <87k2vlqiem.fsf@netris.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:46211) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z0bjy-00057k-OY for guix-devel@gnu.org; Thu, 04 Jun 2015 16:27:51 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Z0bjv-0001c6-Cm for guix-devel@gnu.org; Thu, 04 Jun 2015 16:27:50 -0400 Received: from mout.kundenserver.de ([212.227.126.131]:54034) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z0bjv-0001bn-3r for guix-devel@gnu.org; Thu, 04 Jun 2015 16:27:47 -0400 Content-Disposition: inline In-Reply-To: <87k2vlqiem.fsf@netris.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Mark H Weaver Cc: guix-devel@gnu.org 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