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 kqGQAjV6Sl/4bwAA0tVLHw (envelope-from ) for ; Sat, 29 Aug 2020 15:54:29 +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 yJKOOTR6Sl8GGgAA1q6Kng (envelope-from ) for ; Sat, 29 Aug 2020 15:54:28 +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 BA11A9401CB for ; Sat, 29 Aug 2020 15:54:28 +0000 (UTC) Received: from localhost ([::1]:41512 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kC3BT-0005MD-Bn for larch@yhetil.org; Sat, 29 Aug 2020 11:54:27 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:50364) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kC3BH-0005Ld-Nw for guix-devel@gnu.org; Sat, 29 Aug 2020 11:54:19 -0400 Received: from mail-pg1-x52a.google.com ([2607:f8b0:4864:20::52a]:35553) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kC3BF-0001WJ-9I for guix-devel@gnu.org; Sat, 29 Aug 2020 11:54:15 -0400 Received: by mail-pg1-x52a.google.com with SMTP id g29so1931288pgl.2 for ; Sat, 29 Aug 2020 08:54:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=asu-edu.20150623.gappssmtp.com; s=20150623; h=content-transfer-encoding:from:mime-version:subject:date:message-id :references:cc:in-reply-to:to; bh=f9CgM/PsBN6Q0JRaBhErkbFLEnmUg0i7YAGZpHNc4cI=; b=EMo1oqF890D5k2/iCIhg81pSiodA9vhflUpo6iDvqqRDLBbz0m1msu5nwVnvbhHAm5 ZD6BN7G8NCW4QrYuH8E1N8KT83LCNJIqzNwGUveSGb0MZ8qrlumjga3gR5QTU9TJLOa7 Qb10FJg+OXXoe1X9RTGuB5Pyt473y63RBKf7tIcVcVKuooIXdMPYYL0x250AkTk+sVli G8UPc1zslhWYzXBzQJIoF2qXwzvIFSTc9v38U49aaPQBWOB3sS1HkQLZM0nnZ0j5OIFH /SWES2ue1tVSgPSn6WkiHP8dL06Da13XFqArnsXTsvaFcLwhY1RjQ3BymBvL3SrE8CIF oVTg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:content-transfer-encoding:from:mime-version :subject:date:message-id:references:cc:in-reply-to:to; bh=f9CgM/PsBN6Q0JRaBhErkbFLEnmUg0i7YAGZpHNc4cI=; b=ntL2wYR8CicJ8pRoJPfUr9sM+QTh9Tu4Or/pfHWV4FUA/p/5DSyxbsQDg+qL49DFSK 2+IlMA9Mxl2pJ+bbHixCrt4KIyfJgEDxWyFVpHtw52zEGGIPAthZLR1uuuoD2G7FeEPT QJ1O8jnPbN1DpqDyuQHxQMh8mI87mPWfTo+68M90Cz7y9RlWWvxlWfyxUkbBlR3F22un VRy1NLlnRXZImBfzYKhWgtAt4G5qdZKes4CEi7Yw/4l9tuldb7wpbkW0WytBrTGF+jUd 8Xoj6TYKtetFQVu98JWEGENgSjOAga8mxV3OTh/nkLQL6dJEebRE1dJIcvE7monPnqfA w2xA== X-Gm-Message-State: AOAM531360Y5PFhldfi3IIlUIo54WHSdBYuFc0qpDa4VoSJr8YGS0eiy H2tzjj8qVYm+KQAUDRFIkGwD5hijdSUX76Zf X-Google-Smtp-Source: ABdhPJx56aBo4ojD3YlWUf6oOJu0KOemdjSH5bpV0u5Z0z9B0Vi8tiAUQRqtXh3GF4/qZHzJzvoFJg== X-Received: by 2002:a63:d60d:: with SMTP id q13mr2872121pgg.118.1598716448835; Sat, 29 Aug 2020 08:54:08 -0700 (PDT) Received: from ?IPv6:2600:1700:83b0:8bd0:b88f:3a18:b708:d017? ([2600:1700:83b0:8bd0:b88f:3a18:b708:d017]) by smtp.gmail.com with ESMTPSA id ft11sm2435211pjb.13.2020.08.29.08.54.08 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sat, 29 Aug 2020 08:54:08 -0700 (PDT) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit From: John Soo Mime-Version: 1.0 (1.0) Subject: Re: merge wip-haskell? Date: Sat, 29 Aug 2020 08:54:07 -0700 Message-Id: <1B106CD5-872B-4F20-91D2-47ACFC18FA28@asu.edu> References: <87d039qxe6.fsf@ngyro.com> In-Reply-To: <87d039qxe6.fsf@ngyro.com> To: Timothy Sample X-Mailer: iPhone Mail (17G80) Received-SPF: pass client-ip=2607:f8b0:4864:20::52a; envelope-from=jsoo1@asu.edu; helo=mail-pg1-x52a.google.com X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: =?utf-8?Q?Jakub_K=C4=85dzio=C5=82ka?= , guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=asu-edu.20150623.gappssmtp.com header.s=20150623 header.b=EMo1oqF8; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=asu.edu (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: 0.39 X-TUID: zOHvWe6VfRrC Nice! Thanks Tim!