From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:33053) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ify85-0007dr-BM for guix-patches@gnu.org; Fri, 13 Dec 2019 22:30:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ify83-00070Z-3J for guix-patches@gnu.org; Fri, 13 Dec 2019 22:30:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:57059) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ify82-00070H-W2 for guix-patches@gnu.org; Fri, 13 Dec 2019 22:30:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ify82-0004hd-Rr for guix-patches@gnu.org; Fri, 13 Dec 2019 22:30:02 -0500 Subject: [bug#38603] [WIP Mercury 0/2] Add Mercury. Resent-Message-ID: Received: from eggs.gnu.org ([2001:470:142:3::10]:57191) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ify7s-0007d9-3I for guix-patches@gnu.org; Fri, 13 Dec 2019 22:29:53 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ify7o-0006QO-Ca for guix-patches@gnu.org; Fri, 13 Dec 2019 22:29:51 -0500 Received: from mout02.posteo.de ([185.67.36.66]:48539) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ify7n-0006J4-QW for guix-patches@gnu.org; Fri, 13 Dec 2019 22:29:48 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 1472E2400E6 for ; Sat, 14 Dec 2019 04:29:40 +0100 (CET) Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 47ZY1Z6t97z9rxT for ; Sat, 14 Dec 2019 04:29:38 +0100 (CET) From: Brett Gilio Date: Fri, 13 Dec 2019 21:29:33 -0600 Message-ID: <87tv637ffm.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/x-patch Content-Disposition: inline; filename=0000-cover-letter.patch Content-Description: [WIP Mercury 0/2] Add Mercury. List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 38603@debbugs.gnu.org >From a6abc5a2d05cba65c652f5834e768ee8cecde5f8 Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Fri, 13 Dec 2019 21:27:49 -0600 Subject: [WIP Mercury 0/2] Add Mercury. This is an incomplete patch series for adding Mercury to GNU Guix. I wanted to put it out there now so other people can work on it and I can keep track of the progress I make on it. Please send revisions by rerolling n+1. Brett Gilio (2): gnu: Register mercury module. gnu: Add mercury. gnu/local.mk | 1 + gnu/packages/mercury.scm | 142 +++++++++++++++++++++++++++++++++++++++ 2 files changed, 143 insertions(+) create mode 100644 gnu/packages/mercury.scm -- 2.24.1