From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id +G7zIvIj0V4pcQAA0tVLHw (envelope-from ) for ; Fri, 29 May 2020 15:02:10 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id kM0FH/Ij0V6dTwAA1q6Kng (envelope-from ) for ; Fri, 29 May 2020 15:02:10 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id DA829940276 for ; Fri, 29 May 2020 15:02:09 +0000 (UTC) Received: from localhost ([::1]:36016 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jegWO-0006c7-KD for larch@yhetil.org; Fri, 29 May 2020 11:02:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41416) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jegWI-0006ap-OE for guix-patches@gnu.org; Fri, 29 May 2020 11:02:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:44244) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jegWI-0007Z9-By for guix-patches@gnu.org; Fri, 29 May 2020 11:02:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jegWI-0003ll-9t for guix-patches@gnu.org; Fri, 29 May 2020 11:02:02 -0400 Subject: bug#40557: [PATCH] Add dhall. Resent-From: Leo Famulari Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Fri, 29 May 2020 15:02:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 40557 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: John Soo Cc: 40557-done@debbugs.gnu.org Mail-Followup-To: 40557@debbugs.gnu.org, leo@famulari.name, jsoo1@asu.edu Received: via spool by 40557-done@debbugs.gnu.org id=D40557.159076450514458 (code D ref 40557); Fri, 29 May 2020 15:02:02 +0000 Received: (at 40557-done) by debbugs.gnu.org; 29 May 2020 15:01:45 +0000 Received: from localhost ([127.0.0.1]:55788 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jegW1-0003l8-23 for submit@debbugs.gnu.org; Fri, 29 May 2020 11:01:45 -0400 Received: from wout5-smtp.messagingengine.com ([64.147.123.21]:40369) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jegVz-0003ku-7x for 40557-done@debbugs.gnu.org; Fri, 29 May 2020 11:01:44 -0400 Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.west.internal (Postfix) with ESMTP id 192C217CF; Fri, 29 May 2020 11:01:37 -0400 (EDT) Received: from mailfrontend1 ([10.202.2.162]) by compute2.internal (MEProxy); Fri, 29 May 2020 11:01:37 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=famulari.name; h=date:from:to:cc:subject:message-id:references:mime-version :content-type:in-reply-to; s=mesmtp; bh=G1XbN1Y7XOJM3bx5Akh59e0o z7Q8U8UPP6SmV7dqHFs=; b=EvZfbKDatMhYh1CgV6mPnvAORDitSVMm/Llgpjna ksUy9VrI2Vt7Vzy86cIhLc8rOvsZW1DHna9/Sj+To8wSgAe8j++G74dZSnN+jR3B amQfTb3ymjdGwV+RNaIpijI++YZYq1RInxH1NLwnI90Cs+YBXEjQkVo1gjKoL7Zf Eu4= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm2; bh=G1XbN1 Y7XOJM3bx5Akh59e0oz7Q8U8UPP6SmV7dqHFs=; b=Dg+yNXZOLxPVQ8q2ERdPNR zmLm6D6wHIvGzjiDGGaQY4MM+OTPi4Z+lY5UXs+0uOudjKE2uAVkml07EdktOuzh BPZl97MsLXx029rPPU6sAMXjj2lxczDpRdrkPmwWXvjEGwn4t+6n77/1NhoI7KVV iBOTXfyoBFYJorVj5aridTQWktzD21x2gTUC3MrGJRYrauXrqD16wMa9v2ANBVUt bC0kBUy+oG1UhTSLWt6H2mTLTPfoFv6IqWAtbbvsBDMpAUMiwdPgzMD1EcAJDRbL qzrUMRp1RorEfoMCGmLekUw736BO85K9kg+aawUZkQOLIQExgAkiLrGyzYWTNqRw == X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduhedruddvkedgiedtucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhepfffhvffukfhfgggtuggjsehttdertddttddvnecuhfhrohhmpefnvghoucfh rghmuhhlrghrihcuoehlvghosehfrghmuhhlrghrihdrnhgrmhgvqeenucggtffrrghtth gvrhhnpeeukeektdffvddtudegjeegtdevhfeufeeivdejiedtieegtdevjedvjeehffev gfenucfkphepjeeirdduvdegrddufeekrdeifeenucevlhhushhtvghrufhiiigvpedtne curfgrrhgrmhepmhgrihhlfhhrohhmpehlvghosehfrghmuhhlrghrihdrnhgrmhgv X-ME-Proxy: Received: from localhost (c-76-124-138-63.hsd1.pa.comcast.net [76.124.138.63]) by mail.messagingengine.com (Postfix) with ESMTPA id 14F8E3280066; Fri, 29 May 2020 11:01:34 -0400 (EDT) Date: Fri, 29 May 2020 11:01:31 -0400 From: Leo Famulari Message-ID: <20200529150131.GA12363@jasmine.lan> References: <87r1wuqa9h.fsf@asu.edu> <20200529015042.GJ5443@jasmine.lan> <877dwuq2pw.fsf@asu.edu> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <877dwuq2pw.fsf@asu.edu> X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.7 (-) X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=famulari.name header.s=mesmtp header.b=EvZfbKDa; dkim=fail (rsa verify failed) header.d=messagingengine.com header.s=fm2 header.b=Dg+yNXZO; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam-Score: -0.01 X-TUID: 7yMiLyNgs1Ly On Fri, May 29, 2020 at 06:40:11AM -0700, John Soo wrote: > Alright, done. Let me know what else I can do. Thanks! I pushed as 9ff667ea05d0807b4e6512c92914ae517b9ec755 after also registering the patch in 'gnu/local.mk' (I had overlooked this previously).