From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id eRxyKYcF4WBaDgAAgWs5BA (envelope-from ) for ; Sun, 04 Jul 2021 02:49:11 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id 0KmEJIcF4WCVLgAAbx9fmQ (envelope-from ) for ; Sun, 04 Jul 2021 00:49:11 +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 B50AB21FDB for ; Sun, 4 Jul 2021 02:49:10 +0200 (CEST) Received: from localhost ([::1]:44598 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lzqJp-0007y6-6q for larch@yhetil.org; Sat, 03 Jul 2021 20:49:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:44578) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lzqJi-0007xw-1J for bug-guix@gnu.org; Sat, 03 Jul 2021 20:49:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:56791) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lzqJh-0003Sx-QK for bug-guix@gnu.org; Sat, 03 Jul 2021 20:49:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lzqJh-0003fB-Q9 for bug-guix@gnu.org; Sat, 03 Jul 2021 20:49:01 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#49371: Removing the broken =?UTF-8?Q?=E2=80=98corrode=E2=80=99?= package Resent-From: Tobias Geerinckx-Rice Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sun, 04 Jul 2021 00:49:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 49371 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 49371@debbugs.gnu.org X-Debbugs-Original-To: Bug reports for GNU Guix Received: via spool by submit@debbugs.gnu.org id=B.162535970614034 (code B ref -1); Sun, 04 Jul 2021 00:49:01 +0000 Received: (at submit) by debbugs.gnu.org; 4 Jul 2021 00:48:26 +0000 Received: from localhost ([127.0.0.1]:40104 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lzqJ8-0003eH-8M for submit@debbugs.gnu.org; Sat, 03 Jul 2021 20:48:26 -0400 Received: from lists.gnu.org ([209.51.188.17]:60334) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lzqJ4-0003e8-MB for submit@debbugs.gnu.org; Sat, 03 Jul 2021 20:48:25 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:44534) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lzqJ4-0007wG-Dw for bug-guix@gnu.org; Sat, 03 Jul 2021 20:48:22 -0400 Received: from tobias.gr ([2a02:c205:2020:6054::1]:58612) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lzqJ1-0002uR-Um for bug-guix@gnu.org; Sat, 03 Jul 2021 20:48:22 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=2018; bh=gWnuUnNVLQfB4 f+W7qHGNvfchPJgXXMRBZHEKXO4WyY=; h=date:subject:to:from; d=tobias.gr; b=Wl6WlFJiOkkdDcACocnKIH9V5baZEP9kUHkTtuJHhayv8cN8e5pf7Y8l6ZCzMfJASC3/ Wibu0bZx/F/4cwJRWdN88QM4ljuoa1od2SxUoHPmLqjCcAvyYD2jaYG57KCozEmsQJyvx1 7vummpP+4CgT8bAgoqXlPGIU0Zhx3BPDWdlqzTQlmOWuVQhEEvrgVflt67EZCH1mvje5Lh 7ixxmg/1TuzegwFwRHQPD2+K5jMGVrdQda3aBe4XcATA/iRfJcIno4KQDPw7kwbPwEzx4l XSLy+JshbmbWebMmh3WNvrCp00BGxwBw0V+e2TpZ0Z0YLvUev8FeFyM+zLpBhHjA== Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id f0d5bda7 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO) for ; Sun, 4 Jul 2021 00:48:14 +0000 (UTC) Date: Sat, 03 Jul 2021 17:46:03 +0200 BIMI-Selector: v=BIMI1; s=default; Message-ID: <875yxqsy40.fsf@nckx> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: pass client-ip=2a02:c205:2020:6054::1; envelope-from=me@tobias.gr; helo=tobias.gr X-Spam_score_int: -5 X-Spam_score: -0.6 X-Spam_bar: / X-Spam_report: (-0.6 / 5.0 requ) BAYES_00=-1.9, DATE_IN_PAST_06_12=1.543, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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" Reply-to: Tobias Geerinckx-Rice From: Tobias Geerinckx-Rice via Bug reports for GNU Guix X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1625359751; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:list-id:list-help:list-unsubscribe:list-subscribe: list-post:dkim-signature; bh=gWnuUnNVLQfB4f+W7qHGNvfchPJgXXMRBZHEKXO4WyY=; b=H0dYiCjhiWO8ZbkjdbnXb/+7G4MW0HxBdA+REN9RuQaz39ERKK1+XDBLl+6D3yHnqnRh3K cqXsazesXvvNEdFJvmMrohsCiVVQ7S+RM0P/ZZrBGSCYIPz2hgeZznotg39QTirKT0H6V9 gc3/pigGVptILoXGyVaXT1ypZ/f1W03ZMNYlEVCr84HgwrO0illDFLQwgtp0XTUDmzJuBU 24Vt2yf9bqG6XNbssjNrjH1D9H82qeC5xDibnNtel3OzLfGGl6+8W0SDHKhqIg3DwcIC+J KMOaG97BwcQuX0PNnHRm5cJPhgsxfjjOeuFgdszhoQUdSHZ9AHcamkLdUYnFxQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1625359751; a=rsa-sha256; cv=none; b=LmVllOTkt2YF/QWch0rGp9QULqWVxF6eR1n4DnmSIIAv5RmTbIUVjfzv8QuERDzWfchjrf +OGd1YPCJREQdkQPqj9XGMg3X8OH4rq8q61qD/RZ0olHyA16LKPNChngXMyxG6l8okaUf8 rS/UCgQ0TCwHKNfYTGQKfcxY4+OOtUeCMU2D/3taJKuDGkQZeNtu6PC78WiTrl3S6iFaXs g3e/W5b52HjA5cU7DdyvHNrzxm/GMgJ3TjU10H29nzAVdFC2jMkyBfuykiMeB9xizkP5ec 58rj4x2noTdDQkYwOKv9eqI6PB4sOpJ9KoA2PeGKAt78Ofyi5m1aTgLp3+igSg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tobias.gr header.s=2018 header.b=Wl6WlFJi; dmarc=pass (policy=none) header.from=gnu.org; 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-Migadu-Spam-Score: -4.51 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tobias.gr header.s=2018 header.b=Wl6WlFJi; dmarc=pass (policy=none) header.from=gnu.org; 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-Migadu-Queue-Id: B50AB21FDB X-Spam-Score: -4.51 X-Migadu-Scanner: scn0.migadu.com X-TUID: EFL+Br0/hPcJ Message-ID: <20210703154603.yD1ZaAOgoho3yhy522luwuZ_FobxdNxoTmnaj-tCW1Y@z> --==-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Guix, Cool hack though it was, I propose to remove the broken =E2=80=98corrode=E2= =80=99=20 package. This is your chance to protest by fixing it! With the patches below applied corrode still fails to build as it=20 does elsewhere:=20 . The code hasn't seen commits since 2017, nor did I find any newer=20 posts by the author on their GitHub issue tracker. The project is=20 quite dead. Kind regards, T G-R --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename=0001-gnu-Add-ghc-language-c-0.6.patch Content-Transfer-Encoding: quoted-printable From=20879b32a49b606eef976062aee06bdf8a6ec028a0 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Sat, 3 Jul 2021 17:39:13 +0200 Subject: [PATCH 1/2] gnu: Add ghc-language-c@0.6. * gnu/packages/haskell-xyz.scm (ghc-language-c-0.6): New public variable. =2D-- gnu/packages/haskell-xyz.scm | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 4b80410346..daa64ac8fd 100644 =2D-- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -7000,6 +7000,18 @@ It features a complete, well-tested parser and prett= y printer for all of C99 and a large set of GNU extensions.") (license license:bsd-3))) =20 +(define-public ghc-language-c-0.6 + (package + (inherit ghc-language-c) + (version "0.6.1") + (source + (origin + (method url-fetch) + (uri (string-append "https://hackage.haskell.org/package/" + "language-c/language-c-" version ".tar.gz")) + (sha256 + (base32 "1s1pz8lxnc3fbs84a4spayzrww1avkn7jszmazn90r740jfxrji3"))))= )) + (define-public ghc-language-glsl (package (name "ghc-language-glsl") =2D-=20 2.32.0 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename=0002-gnu-corrode-Update-to-0.0.0-1.3405334.patch Content-Transfer-Encoding: quoted-printable From=207fb3a504056862ca5577a3cfd6ce0eaa1b364551 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Sat, 3 Jul 2021 17:40:52 +0200 Subject: [PATCH 2/2] gnu: corrode: Update to 0.0.0-1.3405334. * gnu/packages/haskell-apps.scm (corrode): Update to 0.0.0-1.3405334. [native-inputs]: Add ghc-tasty and ghc-tasty-quickcheck. [inputs]: Use older ghc-language-c-0.6 instead of ghc-language-c. =2D-- gnu/packages/haskell-apps.scm | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/gnu/packages/haskell-apps.scm b/gnu/packages/haskell-apps.scm index 9e49bbfd9e..10c0dadbc4 100644 =2D-- a/gnu/packages/haskell-apps.scm +++ b/gnu/packages/haskell-apps.scm @@ -145,8 +145,8 @@ installation of Haskell libraries and programs.") (license license:bsd-3))) =20 (define-public corrode =2D (let ((revision "0") =2D (commit "b6699fb2fa552a07c6091276285a44133e5c9789")) + (let ((revision "1") + (commit "34053342c2f1ca04f23ad94d67057f14e74d9fb9")) (package (name "corrode") (version (git-version "0.0.0" revision commit)) @@ -158,10 +158,14 @@ installation of Haskell libraries and programs.") (commit commit))) (file-name (git-file-name name version)) (sha256 =2D (base32 "02v0yyj6sk4gpg2222wzsdqjxn8w66scbnf6b20x0kbmc69qcz4r"= )))) + (base32 "0qwglbbcm96hm44yinzlyspfb60bi2iql750qv0psk5651jfrrdf"))= )) (build-system haskell-build-system) + (native-inputs + `(("ghc-tasty" ,ghc-tasty) + ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck))) (inputs =2D `(("ghc-language-c" ,ghc-language-c) + ;; XXX When updating, check if the 0.6 variant can be removed entir= ely. + `(("ghc-language-c" ,ghc-language-c-0.6) ("ghc-markdown-unlit" ,ghc-markdown-unlit))) (home-page "https://github.com/jameysharp/corrode") (synopsis "Automatic semantics-preserving translation from C to Rust= ") =2D-=20 2.32.0 --=-=-=-- --==-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIMEARYKACsWIQT12iAyS4c9C3o4dnINsP+IT1VteQUCYOEFUA0cbWVAdG9iaWFz LmdyAAoJEA2w/4hPVW15MmgA/3t7eVNKfzMCxqOybGVSaecvouZdUMhfGlOYavsy 6gg3AQCt7b2+joIgIXdC0y0tezFDGOKEzmsdFasAdTQWG7W8Dg== =GUU9 -----END PGP SIGNATURE----- --==-=-=--