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 COlTKT4PSV+HRAAA0tVLHw (envelope-from ) for ; Fri, 28 Aug 2020 14:05:50 +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 IEcyJT4PSV8ddwAA1q6Kng (envelope-from ) for ; Fri, 28 Aug 2020 14:05:50 +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 3E799940A5B for ; Fri, 28 Aug 2020 14:05:50 +0000 (UTC) Received: from localhost ([::1]:56430 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kBf0m-0007Zw-Vd for larch@yhetil.org; Fri, 28 Aug 2020 10:05:48 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:46190) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kBf0b-0007Xq-Ej for guix-devel@gnu.org; Fri, 28 Aug 2020 10:05:37 -0400 Received: from mail-pf1-x42b.google.com ([2607:f8b0:4864:20::42b]:34814) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kBf0Y-0002zb-Vm for guix-devel@gnu.org; Fri, 28 Aug 2020 10:05:37 -0400 Received: by mail-pf1-x42b.google.com with SMTP id g207so725462pfb.1 for ; Fri, 28 Aug 2020 07:05:33 -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=i0zAP91cLHDqBmAKXjjFy1devpx6UHbi0lJ8s+dJ1eM=; b=yMfVtNYpSu2trkfFtAz6TOdSsZAeuMIBu9F7bgaotv56dS2EeD5xV0DuIua+Pis7zd MMA/G/jXTgcdgG4ffLSt9KkmppoLsL2YMZNI8rGOBq+ZeVH1FypOdOpfBexVbrTA9KwR MsxFIcdVoUCSl4EyJn9sF7b8zzKrGiqyLBgaZHBlKm+Ym4q3HJzgtvWeGKsuXqDwdBeX AkYI9GOK9vKYLZIiW5chXWuDEYnIp0zvpE/J9JhtMAWLqZmu1r8piGrKKn7iHhaGpiGz UZCnPLlQXViyQ5w45nf8Gb/XaBGOROVqa412cxeQnjZMzyHKdD/09TqT/QtrQuttbSFS mA0g== 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=i0zAP91cLHDqBmAKXjjFy1devpx6UHbi0lJ8s+dJ1eM=; b=TGNPWrbDyY/Ji06o0E9H4jNpJYWautR40W75DkS5NGK2eWSrbKkLXBNdvDdBACFrCK sdOBCe30YPAsdjgFn3Sw+XBA3OvvLL2ZVSx9xMWvC8CZ+GCzyWvQFzqQxrO1/FHyy8F7 6fUq+t+61j1xHloNF7qvTsiVpbl0N2VnsAHLiZK1QiKi/Nff20W/MKDH6QRID5EGCmsN jGbSuOJ/FdPhWbln5x8k/da9ff6lCOv6IEpuL7mK8GR4yzmljlukn5Rp2GlfpXsh2W5u cBhsKYVuj3Md1H3SCQutfIEGAfD2e3Ec10KYLadgGe6+61i/GONUHhxQ/9sT9kHAQkRf xG5g== X-Gm-Message-State: AOAM532ZboNTWnYsujtZkB+95+3y91eU+8eHjBEUKCXrXYqMNoe7X3xM rHurSR23TZFKLh/NQUNyxcboUi56qj0TNPF9 X-Google-Smtp-Source: ABdhPJwg7s/ReUJl25sRns8JwFPE80JLqoRnYwyXtCXDh7Kv7KHQ5J+9yC+R+K6gq5B2z8UgIQrhIg== X-Received: by 2002:a63:2202:: with SMTP id i2mr1315091pgi.177.1598623532044; Fri, 28 Aug 2020 07:05:32 -0700 (PDT) Received: from ?IPv6:2600:1700:83b0:8bd0:b919:9e4e:9e6b:2aa2? ([2600:1700:83b0:8bd0:b919:9e4e:9e6b:2aa2]) by smtp.gmail.com with ESMTPSA id q82sm2066486pfc.139.2020.08.28.07.05.30 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 28 Aug 2020 07:05:31 -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: Fri, 28 Aug 2020 07:05:30 -0700 Message-Id: <59802BA7-9EEC-4C57-A949-2A30BA1B96E9@asu.edu> References: <87eenqq3lg.fsf@gnu.org> In-Reply-To: <87eenqq3lg.fsf@gnu.org> To: =?utf-8?Q?Ludovic_Court=C3=A8s?= X-Mailer: iPhone Mail (17G80) Received-SPF: pass client-ip=2607:f8b0:4864:20::42b; envelope-from=jsoo1@asu.edu; helo=mail-pf1-x42b.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=unavailable 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=fail (rsa verify failed) header.d=asu-edu.20150623.gappssmtp.com header.s=20150623 header.b=yMfVtNYp; dmarc=fail reason="SPF 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: 1.59 X-TUID: dlbH7aGS/KFU On another note: Does anyone know why idris, agda, and purescript are failing? I have only been able to do very little recently to look at them. - John