From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id YLyoCLod7l/edgAA0tVLHw (envelope-from ) for ; Thu, 31 Dec 2020 18:51:38 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id YIp1BLod7l8KPwAAB5/wlQ (envelope-from ) for ; Thu, 31 Dec 2020 18:51:38 +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 D83DF9403D3 for ; Thu, 31 Dec 2020 18:51:37 +0000 (UTC) Received: from localhost ([::1]:49402 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kv32u-0002pz-S1 for larch@yhetil.org; Thu, 31 Dec 2020 13:51:36 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:37418) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kv32e-0002pM-Rw for guix-devel@gnu.org; Thu, 31 Dec 2020 13:51:20 -0500 Received: from mail-pj1-x102b.google.com ([2607:f8b0:4864:20::102b]:34883) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kv32c-0007OD-7B for guix-devel@gnu.org; Thu, 31 Dec 2020 13:51:20 -0500 Received: by mail-pj1-x102b.google.com with SMTP id b5so5715004pjl.0 for ; Thu, 31 Dec 2020 10:51:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=asu-edu.20150623.gappssmtp.com; s=20150623; h=date:from:to:cc:message-id:in-reply-to:subject:mime-version; bh=Qjib45sHJkS0cjXDpE4GPV7LJt/kq8s9GGNU18/yS2I=; b=lG1eD09IEDd2PMkY60FD4Z/7Cgp9rvNVsfvPyGRN1PfJofwlgds3oj1NYIj9R8w4aM 30NYF9U4yBdRyuor3xORnod9ltFnfQ7Lj7L3JSiav2V+d/6IJj3++0Tpgp15AGOBGnnZ 7Rn4OnJE5iUahO7ybs28+0OVNjQg10d0kCZiYaHGMzcrfxgoGjxkkO3BusYdb07AR+t1 RbSpbLmP/SVJy0pkXC/bYXSgXjQqywzCpUegtsjrnzfzSq19Yl0geADXL5DDclYSoTAg XY2S2VRYJNcY3pu59DXQbFqLP5oREQsg0N/YKIl3mOyIyum0LwEq5qBmJN+ZV8bl48ct F0ag== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:message-id:in-reply-to:subject :mime-version; bh=Qjib45sHJkS0cjXDpE4GPV7LJt/kq8s9GGNU18/yS2I=; b=Eb6u2HyPD/VuNU48CPGi5H0tR0VCwPNWO4GexNcVMlEj6daN/tMMosxvZH1e718aTk a0m/Rzy7KC/kI6c+MRq/2dTyqP7KRGUO7EaFXUQOtcVKvhgTmEbGp9o+w/KTazDmqEJ6 nz63yJD8HfRJS3G6xEr2ScGysMU0HB2LZX9psyEoX5WynpLTIwD0t+Zi1dxSqEWa1paN qIqzDlPL/WVzqgXrF2xwqHKvnvhAH0teL4U16M2fHmFuL2gbT7wV8jhau3YSM52ml9WC ZjCM6rwZvgyZHZPfg12fhWUTCI0Vd/i8Wx6FF8ypvhTZ3TM1Z5KSe+vucij1QYWwh1V0 JiXQ== X-Gm-Message-State: AOAM533v//FLe58o34loOiUlHI619ng3OluiZoPfgF2uNYmj2Uh8T3Hq L2ak5Nc4tgn66i6kWhAEGi7QLRmWpC5RCA== X-Google-Smtp-Source: ABdhPJxUlt6jlU+QJnoyS2QIplHTKcvPXVOwH9ftJGM5Z7aPTOm3h94tCPv1zPLo1wNJTxQzj2M8qA== X-Received: by 2002:a17:902:8c89:b029:dc:1e79:e74b with SMTP id t9-20020a1709028c89b02900dc1e79e74bmr58245600plo.58.1609440673938; Thu, 31 Dec 2020 10:51:13 -0800 (PST) Received: from [2600:1700:83b0:8bd0:a054:ad81:200:0] ([2600:1700:83b0:8bd0:4534:50de:fb07:6605]) by smtp.gmail.com with ESMTPSA id e5sm46426819pfc.76.2020.12.31.10.51.12 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 31 Dec 2020 10:51:13 -0800 (PST) Date: Thu, 31 Dec 2020 10:51:12 -0800 From: John Soo To: Matthew Kraai Message-ID: <1a02c2f5-6b6d-4ed4-848e-f5d6fa5d8502@Johns-iPhone> In-Reply-To: <57f8b495-226f-5d62-a470-86da3424e14f@ftbfs.org> Subject: Re: Packaging elm-compiler 0.19.1 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="5fee1da0_6b8b4567_919" Received-SPF: pass client-ip=2607:f8b0:4864:20::102b; envelope-from=jsoo1@asu.edu; helo=mail-pj1-x102b.google.com 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, HTML_MESSAGE=0.001, 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: guix-devel Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -1.93 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=asu-edu.20150623.gappssmtp.com header.s=20150623 header.b=lG1eD09I; 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-Migadu-Queue-Id: D83DF9403D3 X-Spam-Score: -1.93 X-Migadu-Scanner: scn0.migadu.com X-TUID: jHd4uQmnswPU --5fee1da0_6b8b4567_919 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Hi Matthew, =20 =20 I=E2=80=99m not 100% sure how guix handles the ghc =E2=80=9Cboot=E2=80=9D= libraries but I think time is installed alongside ghc. Doing guix enviro= nment --pure --ad-hoc ghc -- ghc-pkg list gets me time-1.9.3. So I do thi= nk the version bounds should be satisfied without any other dependency. M= ind sharing more of the package definition=3F =20 =20 - John --5fee1da0_6b8b4567_919 Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Hi Matthew,

I=E2=80=99m not 100% sure how = guix handles the ghc =E2=80=9Cboot=E2=80=9D libraries but I think time is= installed alongside ghc. Doing guix environment --pure --ad-hoc ghc -- g= hc-pkg list gets me time-1.9.3. So I do think the version bounds should b= e satisfied without any other dependency. Mind sharing more of the packag= e definition=3F

- John
--5fee1da0_6b8b4567_919--