From mboxrd@z Thu Jan 1 00:00:00 1970 From: Eric Bavier Subject: [PATCH 00/14]: gnu: Add c-reduce. Date: Sun, 7 Dec 2014 15:51:40 -0600 Message-ID: <1417989115-32107-1-git-send-email-bavier@member.fsf.org> Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:42987) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Xxjib-0002CY-32 for guix-devel@gnu.org; Sun, 07 Dec 2014 16:50:26 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XxjiS-00084p-3I for guix-devel@gnu.org; Sun, 07 Dec 2014 16:50:17 -0500 Received: from mail-ig0-x235.google.com ([2607:f8b0:4001:c05::235]:40450) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XxjiR-0007yb-Uk for guix-devel@gnu.org; Sun, 07 Dec 2014 16:50:08 -0500 Received: by mail-ig0-f181.google.com with SMTP id l13so1989955iga.14 for ; Sun, 07 Dec 2014 13:50:06 -0800 (PST) Received: from cooper.us.cray.com (chippewa-nat.cray.com. [136.162.34.1]) by mx.google.com with ESMTPSA id 123sm1392191iof.28.2014.12.07.13.50.05 for (version=TLSv1.1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sun, 07 Dec 2014 13:50:05 -0800 (PST) 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: guix-devel@gnu.org This series of patches adds a recipe for the C-Reduce tool and its dependencies. Comments welcome. `~Eric