From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id wLORHTa8f1/LDgAA0tVLHw (envelope-from ) for ; Fri, 09 Oct 2020 01:26:14 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id EBxRGTa8f19qFwAAbx9fmQ (envelope-from ) for ; Fri, 09 Oct 2020 01:26:14 +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 DADF69402B6 for ; Fri, 9 Oct 2020 01:26:13 +0000 (UTC) Received: from localhost ([::1]:52042 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kQhAg-0005cq-8H for larch@yhetil.org; Thu, 08 Oct 2020 21:26:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:50532) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kQhAY-0005cX-NB for bug-guix@gnu.org; Thu, 08 Oct 2020 21:26:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:50210) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kQhAY-0001P0-Dp for bug-guix@gnu.org; Thu, 08 Oct 2020 21:26:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kQhAY-0000VH-9S for bug-guix@gnu.org; Thu, 08 Oct 2020 21:26:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#43874: =?UTF-8?Q?=E2=80=99corrode=E2=80=99?= fails because =?UTF-8?Q?=E2=80=99ghc-language-c=E2=80=99?= wrong version Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 09 Oct 2020 01:26:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 43874 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 43874@debbugs.gnu.org X-Debbugs-Original-To: bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.16022067481912 (code B ref -1); Fri, 09 Oct 2020 01:26:02 +0000 Received: (at submit) by debbugs.gnu.org; 9 Oct 2020 01:25:48 +0000 Received: from localhost ([127.0.0.1]:33523 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kQhAH-0000Uk-JY for submit@debbugs.gnu.org; Thu, 08 Oct 2020 21:25:48 -0400 Received: from lists.gnu.org ([209.51.188.17]:40812) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kQhA1-0000UL-Af for submit@debbugs.gnu.org; Thu, 08 Oct 2020 21:25:44 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:50470) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kQhA1-0005aT-4b for bug-guix@gnu.org; Thu, 08 Oct 2020 21:25:29 -0400 Received: from mail-wr1-x429.google.com ([2a00:1450:4864:20::429]:45957) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kQh9z-00016B-FF for bug-guix@gnu.org; Thu, 08 Oct 2020 21:25:28 -0400 Received: by mail-wr1-x429.google.com with SMTP id e17so8504354wru.12 for ; Thu, 08 Oct 2020 18:25:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:date:message-id:mime-version :content-transfer-encoding; bh=qRXQMoXKFHnPeihgBgJGSNJigJKdBg0sSqvgvp4hZCs=; b=fxbX5dKiLDd7P/j3rFT24hnc3M9rXFjbLoP8HkaIvvmHR6T25w3LqZe7tUwdjkFIiz 5zLRvHrCvCw7L0Rk8pgURIMIz48kcB+as1QG4SP3XlfqLOlud02H3BGYUUY79VipoyRS csBH5vBrmM/GRozjknIYNwzU/hg1lNkTzqrRSV8r5PiPVfpKN9IAYk+LKu3SmyCNAuOU 0c7SHiVk4k1WHy74Sahjy5E2BJthUBzL+uJVJZuxd8fkQIrdwW0X1zYOZQKaMd5wGhj5 6Dscqmay2AZ/PNLjK91IqZKuPlJ7QHSu3mSQa7CImle7+98djeSBWILlJ7s+fJD/y37X O6Hw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:mime-version :content-transfer-encoding; bh=qRXQMoXKFHnPeihgBgJGSNJigJKdBg0sSqvgvp4hZCs=; b=paWoxiPZ1vMDfb4tzV0aQRMj6ShB2bMTWK0dBr9m9Vn5cc9Bf6N2yDak2gzC1hm6aw NxnyKMnry06osxqjIWxuPrYLrOieJFVGcbfP48AGpViL6ES33lCPz60GfvVYbngLxQnn BL8qnFZ8hmQke89jQ+t5J/MuMIcKSPzEIAgzC7AlK8X3I1OBGefZ0TRrxkjVWEb80kDc HUU7sZZDMBTBBiLPvuPfftTksyldurldnkOQxujPFi9vw+x+dF2TMGpln4oXOvrGCUbs KH/rE+TvFRy2DouFpHSwzgkagfHvyDnVbS/3Z44QGHW7j5NvhmXMeBhb8cs7rsKWPdDn ZgGQ== X-Gm-Message-State: AOAM533eMlvxOmprchn2Zxg6vchbTbc8mOZLkjMWKuF90JRTuuanJGtT 0xEnbUK5GKGv4/6Hf3vmQyLtv74I4U8= X-Google-Smtp-Source: ABdhPJyVARQkyQCuFeyusvIte40ULAYCbTT+di8B2XEt+hHzARgoPLeK1rfcC6yTbas4dWeguIv0AA== X-Received: by 2002:a5d:5543:: with SMTP id g3mr12260013wrw.154.1602206725621; Thu, 08 Oct 2020 18:25:25 -0700 (PDT) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id h206sm9841801wmf.47.2020.10.08.18.25.24 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 08 Oct 2020 18:25:25 -0700 (PDT) From: zimoun Date: Fri, 09 Oct 2020 03:25:23 +0200 Message-ID: <86ft6o8a2k.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::429; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x429.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: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=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-Spam-Score: 3.0 (+++) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -2.3 (--) X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=gmail.com header.s=20161025 header.b=fxbX5dKi; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Spam-Score: 0.09 X-TUID: YJPl1a0IHnBB Dear, Using Guix a0d4aa2, the package =E2=80=99corrode=E2=80=99 fails to build be= cause: --8<---------------cut here---------------start------------->8--- Configuring corrode-0.1.0.0... Setup.hs: Encountered missing dependencies: language-c >=3D0.4 && <0.6 --8<---------------cut here---------------end--------------->8--- and the package =E2=80=99ghc-language-c=E2=80=99 had been updated to 0.8.1 = by the commit 19b29882878a6558e5f16d587265eb3a0c0cdec6 (Jan. 2017). So the package is probably broken since 3 years. Four fixes are possible: 1. add the package =E2=80=99ghc-language-c@0.5.0=E2=80=99 introduced by=20 2d2388e243d31f00b31b36b8ada76876b6fdacf2. 2. turn the package as =E2=80=9Cprivate=E2=80=9D or at least deprecated. 3. move it to guix-past. 4. remove it. (Note that upstream is stalling; last commit 4 years ago.) I am in favor of option #4. Or maybe someone wants to fix? WDYT? All the best, simon