From unknown Wed Jun 18 23:15:42 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#49371 <49371@debbugs.gnu.org> To: bug#49371 <49371@debbugs.gnu.org> Subject: Status: Removing the broken =?UTF-8?Q?=E2=80=98corrode=E2=80=99?= package Reply-To: bug#49371 <49371@debbugs.gnu.org> Date: Thu, 19 Jun 2025 06:15:42 +0000 retitle 49371 Removing the broken =E2=80=98corrode=E2=80=99 package reassign 49371 guix submitter 49371 Tobias Geerinckx-Rice severity 49371 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Sat Jul 03 20:48:26 2021 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) From: Tobias Geerinckx-Rice To: Bug reports for GNU Guix Subject: Removing the broken =?utf-8?B?4oCYY29ycm9kZeKAmQ==?= package 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-Spam-Score: -0.3 (/) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.3 (-) --==-=-= 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----- --==-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 06 05:01:59 2021 Received: (at 49371) by debbugs.gnu.org; 6 Jul 2021 09:01:59 +0000 Received: from localhost ([127.0.0.1]:47316 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m0gxr-0007pi-DU for submit@debbugs.gnu.org; Tue, 06 Jul 2021 05:01:59 -0400 Received: from mail-wm1-f44.google.com ([209.85.128.44]:43527) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m0gxp-0007oy-Io for 49371@debbugs.gnu.org; Tue, 06 Jul 2021 05:01:57 -0400 Received: by mail-wm1-f44.google.com with SMTP id q18-20020a1ce9120000b02901f259f3a250so1698255wmc.2 for <49371@debbugs.gnu.org>; Tue, 06 Jul 2021 02:01:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:in-reply-to:references:date:message-id:mime-version :content-transfer-encoding; bh=b7btEayMA7F0pZsBvTSe3eapsiZNI4T85vGl7OvGcAM=; b=t9xPPLlfdDGc4XiSS8bfRNvWj4/hfSZzKplhOaRB2ybwZUPqg9Fgd4ZXyhuvC+YudL cZkhJ6FJenwtKAidA1dxS3oYwN7FhH6K4NtM8AUQPGWCJHPRi9xW8U9Gq7VxgJSTMoJq cYRLr8sFAIJFgfO7LtEM/xm6EgqLiO3GKvn4Kph7bd5gWFk4P2yRY4j/t+V36COFrUX3 sMb4TNrcsu3kOD0WD0rOyTDaxSSIuUa1OsjWXxkiEc+7+w+xrrdkmueca2N7UBjFNY2t nE4Rqco2GP0UNnDMkEXDuLsdcENVRIuq5sbygddJ/a62USb5Djioz0WUr1Cm5GwBZVrT pjRA== 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:in-reply-to:references:date :message-id:mime-version:content-transfer-encoding; bh=b7btEayMA7F0pZsBvTSe3eapsiZNI4T85vGl7OvGcAM=; b=MZjpJKoT2wGdIrbVEXvfI9KeUwBdjQETOGqbvvfrSOyJkOhS7xDbZJpLwwrp4ZNV92 EI0LtuFQe8+eqVjvn7easSCZ/nZbReoa3+eFOn0ZtG6O7Q/lNUZ/Ofy9UnC7O0612I5+ FLx2+ASwrrVZ6wU8HN1NxrvnMfnxiJHmEhlQR4d3YWod84PUbgSX84EvjSwlqIcJQDTp AjY0WwweAl9gKcc6ZQhxb8gx5KZ9Yy/W6M6Oc1Jlfkzgyi3Cygmbmbj+5WjEBbJl1dX1 AOSRIXF1X9At+Yori6/3xJrmQ+BcizIpffQl51HeK/+HkCB8DC3wQY+J3810ONTC9O9Z HXxg== X-Gm-Message-State: AOAM533wpPBTubfc+mlX6Rtbu4CsgpLQSHmIxd+l+89HevSNQrn2za40 7euNgBYWMXtTtFIFUBfCXI/qCrSzXd4= X-Google-Smtp-Source: ABdhPJy3aOiVpq+3IvfNK8YAa/DiIVDs76FT9G3FR1CP+phZIwCKWQTY0HA/Ph20vQ0hKLEuDj0Zyg== X-Received: by 2002:a1c:ed0a:: with SMTP id l10mr19444526wmh.151.1625562111951; Tue, 06 Jul 2021 02:01:51 -0700 (PDT) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id n20sm14479386wmk.12.2021.07.06.02.01.51 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 06 Jul 2021 02:01:51 -0700 (PDT) From: zimoun To: Tobias Geerinckx-Rice , 49371@debbugs.gnu.org Subject: Re: bug#49371: Removing the broken =?utf-8?B?4oCYY29ycm9kZeKAmQ==?= package In-Reply-To: <875yxqsy40.fsf@nckx> References: <875yxqsy40.fsf@nckx> Date: Tue, 06 Jul 2021 10:47:37 +0200 Message-ID: <86mtqz3k2e.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 49371 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi Tobias, On Sat, 03 Jul 2021 at 17:46, Tobias Geerinckx-Rice via Bug reports for GNU= Guix wrote: > 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! Yeah, let remove it and I am consistent with myself [1]. ;-) Please, close [1] when you push. :-) 1: Cheers, simon From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 12 00:03:33 2022 Received: (at control) by debbugs.gnu.org; 12 Jul 2022 04:03:33 +0000 Received: from localhost ([127.0.0.1]:41406 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oB77M-0005TA-O6 for submit@debbugs.gnu.org; Tue, 12 Jul 2022 00:03:33 -0400 Received: from mail-qt1-f181.google.com ([209.85.160.181]:33548) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oB77K-0005Sx-Oc for control@debbugs.gnu.org; Tue, 12 Jul 2022 00:03:23 -0400 Received: by mail-qt1-f181.google.com with SMTP id r2so8613122qta.0 for ; Mon, 11 Jul 2022 21:03:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=date:message-id:to:from:subject; bh=rjCEG6sYQoztEUk3zIW7Qai9vMMTMlGN1nGvu80iwjc=; b=jBk6O3akPUrmdG/N/OnHI4TKjojv8JV3Omlc8AjIQ/z0rmygji3E3cVEcV/dl0Ep0j KcAY4Nk0m09m5Lw9bRA2w3Am1IwC+Gll6WuCu54HjbClP461G+ARSxJDk5dcQy7q880O PAAiKvaNZYVCEorEvUS08efCBwxse6POPdzAap+0+ImiruZ2aFUw3taKaADNFeMTisLh 5TwyvtnSeYDRZi5AMc4kyG2sj0yqtC5upXNrfZCYv0WIbDb/6tD8hmqy3VlfEpaeN5+s sbvGKk64LZXHOcSAkChC/YMIke/g0kUY1NyXzwhQCCRWz8Ps5JSUAy+CtWsVA/2UJAB2 /8kg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:date:message-id:to:from:subject; bh=rjCEG6sYQoztEUk3zIW7Qai9vMMTMlGN1nGvu80iwjc=; b=VOZlsZveHU/DS1nY8JBZ1SuAzM84i7TcvNQ9EATrYfpSiSsJ2kLjt4JmhlMG7Nstmx +xGAZglcFcaBSRwWAxZy0D9rSYH+Mnt0rWa/gVwFJ0qxm2gCZaZo9miUhO1mfDh25cR6 7Y6x4nAkPS8BT3Nn8WejxAMOlO2M9Sk2W6ASHx9V01JmdQJ3UmVcJP36bSNF0SzpfinN ERWsm9yshzL+x1jS5jUk8eDIPDMzPgGyRBvF77si41MesYpczXM8r/a36Q3TQDu26rHd 750BpuYKRt5KB6rDvHLbmvL7gvDZudMcUPkXYtx2DPF1/B05mBxv6i6GIb/NYqpeeskI +mMA== X-Gm-Message-State: AJIora9N12C9ZJY0Q8K1qi2dYOz9Ure5QKNlOqiiKz4gEQRY4PB0nfB9 KW/jdtqfbXHBbGnN0MZBhsbec29i0k9TWu9d X-Google-Smtp-Source: AGRyM1sfGa6k7ZNkfWuj+YbTeTmgIB6eQ9mGr8QSdbX6G5lFneg8f8pRSHzDA8ZWvyKDxQviHIDb0w== X-Received: by 2002:a05:622a:1742:b0:31d:299d:cbae with SMTP id l2-20020a05622a174200b0031d299dcbaemr16798419qtk.476.1657598596921; Mon, 11 Jul 2022 21:03:16 -0700 (PDT) Received: from hurd (dsl-155-226.b2b2c.ca. [66.158.155.226]) by smtp.gmail.com with ESMTPSA id z6-20020ac87ca6000000b0031d3d0b2a04sm6505750qtv.9.2022.07.11.21.03.16 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 11 Jul 2022 21:03:16 -0700 (PDT) Date: Tue, 12 Jul 2022 00:03:15 -0400 Message-Id: <87ilo39dvg.fsf@gmail.com> To: control@debbugs.gnu.org From: Maxim Cournoyer Subject: control message for bug #49371 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) close 49371 quit From unknown Wed Jun 18 23:15:42 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 09 Aug 2022 11:24:10 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator