From unknown Mon Aug 18 14:24:17 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#59895 <59895@debbugs.gnu.org> To: bug#59895 <59895@debbugs.gnu.org> Subject: Status: [PATCH 1/2] gnu: mercury: Update to 22.01.4. Reply-To: bug#59895 <59895@debbugs.gnu.org> Date: Mon, 18 Aug 2025 21:24:17 +0000 retitle 59895 [PATCH 1/2] gnu: mercury: Update to 22.01.4. reassign 59895 guix-patches submitter 59895 jgart severity 59895 normal tag 59895 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Thu Dec 08 01:00:36 2022 Received: (at submit) by debbugs.gnu.org; 8 Dec 2022 06:00:36 +0000 Received: from localhost ([127.0.0.1]:54549 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p39xU-00045P-5a for submit@debbugs.gnu.org; Thu, 08 Dec 2022 01:00:36 -0500 Received: from lists.gnu.org ([209.51.188.17]:55314) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p39xP-00045J-9F for submit@debbugs.gnu.org; Thu, 08 Dec 2022 01:00:34 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1p39x9-0004MS-Hm for guix-patches@gnu.org; Thu, 08 Dec 2022 01:00:26 -0500 Received: from mx2.dismail.de ([159.69.191.136]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1p39x7-0006Cz-9F for guix-patches@gnu.org; Thu, 08 Dec 2022 01:00:15 -0500 Received: from mx2.dismail.de (localhost [127.0.0.1]) by mx2.dismail.de (OpenSMTPD) with ESMTP id 869cd24a for ; Thu, 8 Dec 2022 07:00:09 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=date :message-id:from:to:subject:references:mime-version:content-type :content-transfer-encoding; s=20190914; bh=jPamAL3qUSyQvPmB7KrsH WUvdsFBATQyuofQyeRDmgM=; b=Y1eRMUZBjmXzpEBK22tJwrTvRdcnxc4HgZwqI khtPPWPB8SXA3k7kmYVdbYkCUkTwOrbmMhXGpVA1wC4Y6Sud0ES8ahj+xFONa4VU Z5V7yweACpXr9Sh2fFMuhe8rioDA9SVBdA88uoDCzMB8tIcgmcYRNae1lORz8sBC 7WUNLD6uysSLTmUlNK0sw9sAF8G6j9vUNoj/cr+VsZE/DLIE4W49LyywdP5xJQFp GHBObRkcdBz9Ttf2xRA0BdFHHh+QDJlWT+MUDmobet4ppS+6yK0uZ3nZTsW2MVPN /yVC3fF3JZQyOGo4xly51mTplh7LTD54lKmdUJ7pFc7p6wg3Q== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx2.dismail.de (OpenSMTPD) with ESMTP id c38c2150 for ; Thu, 8 Dec 2022 07:00:08 +0100 (CET) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id 3de47b93 for ; Thu, 8 Dec 2022 07:00:08 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 2f1e412c (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO) for ; Thu, 8 Dec 2022 07:00:08 +0100 (CET) Date: Wed, 7 Dec 2022 23:59:58 -0600 Message-ID: <20221207235958.GB22001@dismail.de> From: jgart To: Guix Patches Subject: [PATCH 1/2] gnu: mercury: Update to 22.01.4. References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=159.69.191.136; envelope-from=jgart@dismail.de; helo=mx2.dismail.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) 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: -2.4 (--) hi, This patch updates mercury to the latest release version. This took a while to build. all best, jgart From debbugs-submit-bounces@debbugs.gnu.org Thu Dec 08 01:03:53 2022 Received: (at 59895) by debbugs.gnu.org; 8 Dec 2022 06:03:53 +0000 Received: from localhost ([127.0.0.1]:54579 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p3A0e-000489-Cy for submit@debbugs.gnu.org; Thu, 08 Dec 2022 01:03:52 -0500 Received: from mx1.dismail.de ([78.46.223.134]:28956) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p3A0b-000481-KH for 59895@debbugs.gnu.org; Thu, 08 Dec 2022 01:03:50 -0500 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id b86380f8 for <59895@debbugs.gnu.org>; Thu, 8 Dec 2022 07:03:43 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to:cc :subject:date:message-id:mime-version:content-type :content-transfer-encoding; s=20190914; bh=1JX7Gws/pyQfgGEWqlQEJ MkKdv0SpefjiWGYhXbnhzc=; b=iSBZpY6Miid1Lg+35KbJS4wGaU7cF7TfnU5U1 N8hZHBu+wAsYpZDDh2Rg872mwgg1/Z+4VKslUJeVGHSaJJYD+AG5qdXI4nciwDbG FQl8LjNVPpb62hlD8suKlFba9zJJBM4afGuzSqaZYL9U8TfWwxYc/t7JeOSJceUG WP39OY5g++ZmJt8v4rb3cANC0/p1muC8+Xc4MUIrcUQU/S2+xofEhbcwlVVVTObd m3nfhRR0le55Jg5Bv+JZHlpqiFcLrVItW3tgtvdildhoNEE0DHvdJu30Cu0bBJEt JhwGbgmmztKPoFRLaCx2Ld0OfzJn4hiRfN9i1RJ1gkCT909SQ== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx1.dismail.de (OpenSMTPD) with ESMTP id ed074ceb for <59895@debbugs.gnu.org>; Thu, 8 Dec 2022 07:03:43 +0100 (CET) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id a3f4b250 for <59895@debbugs.gnu.org>; Thu, 8 Dec 2022 07:03:43 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 5607c5c6 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Thu, 8 Dec 2022 07:03:36 +0100 (CET) From: jgart To: 59895@debbugs.gnu.org Subject: [PATCH 1/2] gnu: mercury-minimal: Update to 22.01.4. Date: Thu, 8 Dec 2022 00:03:19 -0600 Message-Id: <20221208060320.5699-1-jgart@dismail.de> X-Mailer: git-send-email 2.38.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 59895 Cc: jgart 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.7 (-) * gnu/packages/mercury.scm (mercury-minimal): Update to 22.01.4. [arguments]: Remove obsolete file path, update libatomic-ops, and update libgc-8. --- gnu/packages/mercury.scm | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm index 1c7f5c5f55..8653e3977f 100644 --- a/gnu/packages/mercury.scm +++ b/gnu/packages/mercury.scm @@ -1,5 +1,6 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2020 Brett Gilio +;;; Copyright © 2022 jgart ;;; ;;; This file is part of GNU Guix. ;;; @@ -56,7 +57,7 @@ (define (gc-fork package-name package-url (define-public mercury-minimal (package (name "mercury-minimal") - (version "20.06.1") + (version "22.01.4") (source (origin (method url-fetch) (uri (string-append @@ -64,7 +65,7 @@ (define-public mercury-minimal version ".tar.gz")) (sha256 (base32 - "07qwkk871yxd4q1sw5xv26g8jrpvnpprmzvfd7zg7i142kl3l2gg")))) + "1vakjg4rqpplkxw7k91qv8jvlasrr6iwrzrylwqllbq088qs0mbp")))) (build-system gnu-build-system) (arguments `(#:modules ((guix build gnu-build-system) @@ -112,7 +113,6 @@ (define-public mercury-minimal "scripts/Mmake.vars.in" "scripts/mdb.in" "scripts/rs6000_hack" - "scripts/fullarch" "scripts/mmc.in" "scripts/canonical_grade" "scripts/mprof.in" @@ -143,14 +143,14 @@ (define-public mercury-minimal (gc-fork libatomic-ops "https://github.com/Mercury-Language/libatomic_ops.git" - "49b70d57f6922fd8be55a7dcb77955c8abfc9ae9" - "1flvwscsa6b2b8a38vhhcgl10bbkb5nnihw7s7iia60cinf7wcqm"))) + "95809e50a5ff6e765f1af2f589796970a73e9c00" + "0a1y795bvzwzk1v8d9g6wvifj7hvhmxlir1g581bq2slj16h95iz"))) ("libgc" ,(package-source (gc-fork libgc-7 "https://github.com/Mercury-Language/bdwgc.git" - "43ac2ea45261ba0a715534e9da41b2504904c46a" - "0bmzmbs7id0ndyhy9xli6fhfad1shrim6vmy2k8m1nqr5wb31q76"))) + "def741752f55f9068d4f469a14c4b2c168829730" + "07d94j5l9w6l2kjmcwblgn5lf77aw3r0zjn22pq4hbhknky6ny43"))) ("pkg-config" ,pkg-config))) (synopsis "Pure logic programming language (used only for bootstrapping dependent Mercury)") -- 2.38.1 From debbugs-submit-bounces@debbugs.gnu.org Thu Dec 08 01:03:54 2022 Received: (at 59895) by debbugs.gnu.org; 8 Dec 2022 06:03:54 +0000 Received: from localhost ([127.0.0.1]:54583 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p3A0g-00048L-0G for submit@debbugs.gnu.org; Thu, 08 Dec 2022 01:03:54 -0500 Received: from mx1.dismail.de ([78.46.223.134]:28956) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p3A0d-000481-49 for 59895@debbugs.gnu.org; Thu, 08 Dec 2022 01:03:52 -0500 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id c7a61ff8 for <59895@debbugs.gnu.org>; Thu, 8 Dec 2022 07:03:43 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to:cc :subject:date:message-id:in-reply-to:references:mime-version :content-transfer-encoding; s=20190914; bh=M3K7OZiBzIfxODFPDD7zm lx7ELJrPmEqJRFkZeBDk+c=; b=HFPyJFkJ6e6oZ/oW33QatmAF80pBPT41IXEyE sIx9n7ChlKodX9Zz4B+uQrFB8T8+0h2EmGX5c4V4AR3sF7ZHA5bVctY4DJtSwX+k FzT+p+sv/B0EON8pXThWr6Dsm4wntGJLNsr2HnfJ3OWBnsDGqebQ+mtJkccXtkPM DzaLwYW309yINVVAnE6z3r72g2O652nQf4Re7DNNRE3j15PkFsXdn11Kb+/s85WI vDGj7yiCbgg+0x8kbNIl3ZFUeClf5Lmk+1g93Ji3wliPTHrAf3uA1EPiyUHKKDXU VYRrtnw1a1GHa/wmLNc0S68qD5C2zcXFNd9sUGdAgY+IYBwiQ== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 783b246c for <59895@debbugs.gnu.org>; Thu, 8 Dec 2022 07:03:43 +0100 (CET) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id 47dbd62a for <59895@debbugs.gnu.org>; Thu, 8 Dec 2022 07:03:43 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id f0475f7d (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Thu, 8 Dec 2022 07:03:37 +0100 (CET) From: jgart To: 59895@debbugs.gnu.org Subject: [PATCH 2/2] gnu: mercury-minimal: Update to 22.01.4. Date: Thu, 8 Dec 2022 00:03:20 -0600 Message-Id: <20221208060320.5699-2-jgart@dismail.de> X-Mailer: git-send-email 2.38.1 In-Reply-To: <20221208060320.5699-1-jgart@dismail.de> References: <20221208060320.5699-1-jgart@dismail.de> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 59895 Cc: jgart 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.7 (-) * gnu/packages/mercury.scm (mercury-minimal): Update to 22.01.4. [arguments]: Remove obsolete and non-existent file from being patched. --- gnu/packages/mercury.scm | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm index 8653e3977f..875e957c9f 100644 --- a/gnu/packages/mercury.scm +++ b/gnu/packages/mercury.scm @@ -171,7 +171,7 @@ (define-public mercury-minimal (define-public mercury (package (inherit mercury-minimal) (name "mercury") - (version "20.06.1") + (version "22.01.4") (source (origin (method git-fetch) @@ -183,7 +183,7 @@ (define-public mercury (file-name (git-file-name name version)) (sha256 (base32 - "1b6rmdinw8mj6n9sc7c75kkf42gd2k254rf51x4snlrqckxj7aaz")))) + "0ycy1j9a4rdj6d37x02dj6kyr00mykvc5kykci11fim906d92gzh")))) (arguments (substitute-keyword-arguments (package-arguments mercury-minimal) @@ -205,7 +205,6 @@ (define-public mercury "scripts/Mmake.vars.in" "scripts/mdb.in" "scripts/rs6000_hack" - "scripts/fullarch" "scripts/mmc.in" "scripts/mprof.in" "scripts/gud.el" -- 2.38.1 From debbugs-submit-bounces@debbugs.gnu.org Fri Dec 09 19:01:41 2022 Received: (at 59895) by debbugs.gnu.org; 10 Dec 2022 00:01:41 +0000 Received: from localhost ([127.0.0.1]:39289 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p3nJE-0008KX-U1 for submit@debbugs.gnu.org; Fri, 09 Dec 2022 19:01:41 -0500 Received: from mx2.dismail.de ([159.69.191.136]:29022) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p3nJC-0008KH-GX for 59895@debbugs.gnu.org; Fri, 09 Dec 2022 19:01:39 -0500 Received: from mx2.dismail.de (localhost [127.0.0.1]) by mx2.dismail.de (OpenSMTPD) with ESMTP id 6266cb69 for <59895@debbugs.gnu.org>; Sat, 10 Dec 2022 01:01:30 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to:cc :subject:date:message-id:mime-version:content-type :content-transfer-encoding; s=20190914; bh=0CgtNfMLX1bUbdOp0iZ71 PTLTmVc5Xb51Rh3nyhnzl8=; b=vpwQd3dmxUbVkSgJE7gCmWAR+xPRAc7s8Bkrs YCn8Ra6+LgSnmYM6FrsqblFMQQo6L4HHWMHR3l4ufdzI603c6jesZwt1hld3acju oSZJ6IEd8VYKX+83RFdptCP4cQQc3lOI5BoPFAAtcmKXzkgLJuXa3X9eCUJHh2Yf WT+LaOSCgNjouv9ryq1Jt+l0mR/safIGU38RVSaydSVgWbufyw1KyREkjxmzNv2m ltXR9airo82hqZRnESNElNbA2TJS05WIMCWG3++j7m11bbcGrxeZlptfkwI3iRI0 XnWnWFUQlMwuNhmfgfR89ZQykinl0FZ3d97dKi/C98A21qWTA== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx2.dismail.de (OpenSMTPD) with ESMTP id bbf42ed5 for <59895@debbugs.gnu.org>; Sat, 10 Dec 2022 01:01:30 +0100 (CET) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id c7c66973 for <59895@debbugs.gnu.org>; Sat, 10 Dec 2022 01:01:30 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id d1725775 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sat, 10 Dec 2022 01:01:24 +0100 (CET) From: jgart To: 59895@debbugs.gnu.org Subject: [PATCH v2 1/2] gnu: mercury-minimal: Update to 22.01.4. Date: Fri, 9 Dec 2022 18:00:45 -0600 Message-Id: <20221210000045.19632-1-jgart@dismail.de> X-Mailer: git-send-email 2.38.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 59895 Cc: jgart 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: -3.3 (---) * gnu/packages/mercury.scm (mercury-minimal): Update to 22.01.4. [arguments]: Remove obsolete file path, update libatomic-ops, and update libgc-8. v2 fixes the commit message duplicate I had in v1. all best, jgart --- gnu/packages/mercury.scm | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm index 1c7f5c5f55..8653e3977f 100644 --- a/gnu/packages/mercury.scm +++ b/gnu/packages/mercury.scm @@ -1,5 +1,6 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2020 Brett Gilio +;;; Copyright © 2022 jgart ;;; ;;; This file is part of GNU Guix. ;;; @@ -56,7 +57,7 @@ (define (gc-fork package-name package-url (define-public mercury-minimal (package (name "mercury-minimal") - (version "20.06.1") + (version "22.01.4") (source (origin (method url-fetch) (uri (string-append @@ -64,7 +65,7 @@ (define-public mercury-minimal version ".tar.gz")) (sha256 (base32 - "07qwkk871yxd4q1sw5xv26g8jrpvnpprmzvfd7zg7i142kl3l2gg")))) + "1vakjg4rqpplkxw7k91qv8jvlasrr6iwrzrylwqllbq088qs0mbp")))) (build-system gnu-build-system) (arguments `(#:modules ((guix build gnu-build-system) @@ -112,7 +113,6 @@ (define-public mercury-minimal "scripts/Mmake.vars.in" "scripts/mdb.in" "scripts/rs6000_hack" - "scripts/fullarch" "scripts/mmc.in" "scripts/canonical_grade" "scripts/mprof.in" @@ -143,14 +143,14 @@ (define-public mercury-minimal (gc-fork libatomic-ops "https://github.com/Mercury-Language/libatomic_ops.git" - "49b70d57f6922fd8be55a7dcb77955c8abfc9ae9" - "1flvwscsa6b2b8a38vhhcgl10bbkb5nnihw7s7iia60cinf7wcqm"))) + "95809e50a5ff6e765f1af2f589796970a73e9c00" + "0a1y795bvzwzk1v8d9g6wvifj7hvhmxlir1g581bq2slj16h95iz"))) ("libgc" ,(package-source (gc-fork libgc-7 "https://github.com/Mercury-Language/bdwgc.git" - "43ac2ea45261ba0a715534e9da41b2504904c46a" - "0bmzmbs7id0ndyhy9xli6fhfad1shrim6vmy2k8m1nqr5wb31q76"))) + "def741752f55f9068d4f469a14c4b2c168829730" + "07d94j5l9w6l2kjmcwblgn5lf77aw3r0zjn22pq4hbhknky6ny43"))) ("pkg-config" ,pkg-config))) (synopsis "Pure logic programming language (used only for bootstrapping dependent Mercury)") -- 2.38.1 From debbugs-submit-bounces@debbugs.gnu.org Fri Dec 09 19:01:43 2022 Received: (at 59895) by debbugs.gnu.org; 10 Dec 2022 00:01:43 +0000 Received: from localhost ([127.0.0.1]:39291 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p3nJH-0008Kg-9k for submit@debbugs.gnu.org; Fri, 09 Dec 2022 19:01:43 -0500 Received: from mx2.dismail.de ([159.69.191.136]:29022) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p3nJD-0008KH-P8 for 59895@debbugs.gnu.org; Fri, 09 Dec 2022 19:01:40 -0500 Received: from mx2.dismail.de (localhost [127.0.0.1]) by mx2.dismail.de (OpenSMTPD) with ESMTP id f09db4cc for <59895@debbugs.gnu.org>; Sat, 10 Dec 2022 01:01:30 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to:cc :subject:date:message-id:in-reply-to:references:mime-version :content-transfer-encoding; s=20190914; bh=M3K7OZiBzIfxODFPDD7zm lx7ELJrPmEqJRFkZeBDk+c=; b=oOjxGgKR1u8W3fQqk490Un+bniQuOxImXmwva DgtwugTo3Y2zQ7z9rThywbAX7lwfmDn6UrKT+36ZlX01NTik3O0r6HwZpAt7lj6M yxW6GVO30mu2b7CwPlGZV8LFDEwc3dojVdrCsAmNO2VJ39XXAWJX7Q0dL1H38V7N nGOymWxf8qI6mPAaA2C1dJzVD16WWB7tOSdtJRCqQwwT+AXt9Ng3lWuPt2bV3+ee uyaWA/U9popXbb3P1ajrRCw+QVpWrhj+9+yNfO7LApxeFK09MQJ9Uh8bGuw3QIXJ 9MJ72UT4LrEOwmpjxinLCkiF3O//9gsou+q4JjxOd5OhM9GVw== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx2.dismail.de (OpenSMTPD) with ESMTP id 814ce4c7 for <59895@debbugs.gnu.org>; Sat, 10 Dec 2022 01:01:30 +0100 (CET) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id af16f4ef for <59895@debbugs.gnu.org>; Sat, 10 Dec 2022 01:01:30 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 4cf2953e (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sat, 10 Dec 2022 01:01:25 +0100 (CET) From: jgart To: 59895@debbugs.gnu.org Subject: [PATCH v2 2/2] gnu: mercury: Update to 22.01.4. Date: Fri, 9 Dec 2022 18:00:46 -0600 Message-Id: <20221210000045.19632-2-jgart@dismail.de> X-Mailer: git-send-email 2.38.1 In-Reply-To: <20221210000045.19632-1-jgart@dismail.de> References: <20221210000045.19632-1-jgart@dismail.de> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 59895 Cc: jgart 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: -3.3 (---) * gnu/packages/mercury.scm (mercury-minimal): Update to 22.01.4. [arguments]: Remove obsolete and non-existent file from being patched. --- gnu/packages/mercury.scm | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm index 8653e3977f..875e957c9f 100644 --- a/gnu/packages/mercury.scm +++ b/gnu/packages/mercury.scm @@ -171,7 +171,7 @@ (define-public mercury-minimal (define-public mercury (package (inherit mercury-minimal) (name "mercury") - (version "20.06.1") + (version "22.01.4") (source (origin (method git-fetch) @@ -183,7 +183,7 @@ (define-public mercury (file-name (git-file-name name version)) (sha256 (base32 - "1b6rmdinw8mj6n9sc7c75kkf42gd2k254rf51x4snlrqckxj7aaz")))) + "0ycy1j9a4rdj6d37x02dj6kyr00mykvc5kykci11fim906d92gzh")))) (arguments (substitute-keyword-arguments (package-arguments mercury-minimal) @@ -205,7 +205,6 @@ (define-public mercury "scripts/Mmake.vars.in" "scripts/mdb.in" "scripts/rs6000_hack" - "scripts/fullarch" "scripts/mmc.in" "scripts/mprof.in" "scripts/gud.el" -- 2.38.1 From debbugs-submit-bounces@debbugs.gnu.org Tue Dec 13 08:53:41 2022 Received: (at submit) by debbugs.gnu.org; 13 Dec 2022 13:53:42 +0000 Received: from localhost ([127.0.0.1]:60609 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p55j3-000491-MX for submit@debbugs.gnu.org; Tue, 13 Dec 2022 08:53:41 -0500 Received: from lists.gnu.org ([209.51.188.17]:36230) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p55j2-00048v-Mg for submit@debbugs.gnu.org; Tue, 13 Dec 2022 08:53:40 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1p55j1-0001dc-ME for guix-patches@gnu.org; Tue, 13 Dec 2022 08:53:40 -0500 Received: from mira.cbaines.net ([212.71.252.8]) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1p55iv-0001jB-9y for guix-patches@gnu.org; Tue, 13 Dec 2022 08:53:34 -0500 Received: from localhost (unknown [IPv6:2a02:8010:68c1:0:54d1:d5d4:280e:f699]) by mira.cbaines.net (Postfix) with ESMTPSA id 7E0C827BBE9; Tue, 13 Dec 2022 13:53:31 +0000 (GMT) Received: from felis (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id dd697bac; Tue, 13 Dec 2022 13:53:30 +0000 (UTC) References: <20221207235958.GB22001@dismail.de> User-agent: mu4e 1.8.11; emacs 28.2 From: Christopher Baines To: jgart Subject: Re: [bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4. Date: Tue, 13 Dec 2022 13:53:01 +0000 In-reply-to: <20221207235958.GB22001@dismail.de> Message-ID: <87lenbo1et.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: pass client-ip=212.71.252.8; envelope-from=mail@cbaines.net; helo=mira.cbaines.net 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, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: 59895-done@debbugs.gnu.org, guix-patches@gnu.org 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: -2.4 (--) --=-=-= Content-Type: text/plain This seems good to me, I've pushed to master as 87638cdd48ccf9537e3e5bcc8156df7a38c1e54a. Thanks, Chris --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKlBAEBCgCPFiEEPonu50WOcg2XVOCyXiijOwuE9XcFAmOYg9pfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDNF ODlFRUU3NDU4RTcyMEQ5NzU0RTBCMjVFMjhBMzNCMEI4NEY1NzcRHG1haWxAY2Jh aW5lcy5uZXQACgkQXiijOwuE9XdoShAAgoT2HZuJg63HA0644aiNn2szJoq7dcp4 rQHWIjXzghfQb/UX766fxoSAhCEEXSrNmtaDYrapLjCXPonyaXeYpohItqgMJsZq tuoMc70g5Ty4kjsKV11zB00uTm71AIagyr3UoturmB2Src2wn3Hw9r2U8BSeL1Cd PPyxLoa+qJs13ck/we7WUzB7lqBbTOdQEZ57sN1JTe2ZrE7IBo7+Y0qIY5LhgarM UU8dT5v482j9FIqxzsZJJP8nz+XL+IVfqi4XPYbJqLOAGppZq9bxdrYVsAV8rHpj qHP0CDA8+UmAQW2Somkm3gJjaoAMREo7EHRz54+DX63i2lmcwJMfpI3em8+W36WA j4/IomAw+BvOHy3nhwEaYROd7h2yiSNBmz69rI6m7z72Go//HYQ7LP4g1YvXwgep yEGYqqVDhTv2Skt7uxeUz7IpZ9y1u0lpb2AX5wdxrEU52JEkDMDiBuIdwuGJfbWz K8J+Tl5sUViWGsR1qL7e7FCLunNPb/4khff56e4Nyu3wHAYKYwxnvaezky0CGrOb rz9KTOW216OW7dLuuuz/0MwQJc2lzgkUPOhkIbmFyJcifrajiewtQitGCdq1Ckac FCVGJ96sdMMBRTUxS6RMTpKJFHc/+hPEzW+iB4w7zZUMXXwYaTGW6avKbwFY6SJG OyGMTlSYgR4= =3AnW -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Tue Dec 13 11:24:33 2022 Received: (at submit) by debbugs.gnu.org; 13 Dec 2022 16:24:33 +0000 Received: from localhost ([127.0.0.1]:33182 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p5853-0005zO-DS for submit@debbugs.gnu.org; Tue, 13 Dec 2022 11:24:33 -0500 Received: from lists.gnu.org ([209.51.188.17]:36474) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p584y-0005zB-Ni for submit@debbugs.gnu.org; Tue, 13 Dec 2022 11:24:29 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1p584y-0000jQ-Hn for guix-patches@gnu.org; Tue, 13 Dec 2022 11:24:28 -0500 Received: from mx1.dismail.de ([78.46.223.134]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1p584u-0007Vo-IS for guix-patches@gnu.org; Tue, 13 Dec 2022 11:24:27 -0500 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 8b59bbbc; Tue, 13 Dec 2022 17:24:21 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=date :message-id:from:to:cc:subject:in-reply-to:references :mime-version:content-type:content-transfer-encoding; s= 20190914; bh=lTG0/tX4NuEisGypnvQXCgu9sp09RSPcGMhp+VUxeYo=; b=G/C 5ZYjGfo1Pk5I7+8NCC6ZAkx/ajlWbjvUvkuuNc1YMdiJncoAemtiCfz8FP0GwArs 46fCWynSHYFyeCfIMMHmR0HZSu5+4h7fMUbmAuR2/yHfHEBnpOmYb6q7JM1XUxZr zNope69s4Sen5rzoxnoChYCQMrmZQ2WkqOgIXGFrUmQtLoIxqkMe+9EplebMkgWg 5lWS+Vq8JxKmN2g6XoTMGR1YDDJ9bVKoKRoywr1zD60zZcJAGYUCqDe2FNI74ChV YSlfPPQ0daMufbT39UovlolWXXG+L0QImWIEHfXMCmeFi8d72TaDU5hxbX8dtBtl OnWAzphswUcUc1GG33w== Received: from smtp1.dismail.de ( [10.240.26.11]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 8974e260; Tue, 13 Dec 2022 17:24:21 +0100 (CET) Received: from smtp1.dismail.de (localhost [127.0.0.1]) by smtp1.dismail.de (OpenSMTPD) with ESMTP id 7840b6f3; Tue, 13 Dec 2022 17:24:21 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 59ddef4c (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Tue, 13 Dec 2022 17:24:20 +0100 (CET) Date: Tue, 13 Dec 2022 10:24:10 -0600 Message-ID: <20221213102410.GD5135@dismail.de> From: jgart To: Christopher Baines Subject: Re: [bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4. In-Reply-To: <87lenbo1et.fsf@cbaines.net> References: <20221207235958.GB22001@dismail.de> <87lenbo1et.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=78.46.223.134; envelope-from=jgart@dismail.de; helo=mx1.dismail.de X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: 59895-done@debbugs.gnu.org, guix-patches@gnu.org 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: -2.4 (--) On Tue, 13 Dec 2022 13:53:01 +0000 Christopher Baines wrote: > > This seems good to me, I've pushed to master as Thanks! all best, jgart From unknown Mon Aug 18 14:24:17 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Wed, 11 Jan 2023 12:24:04 +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