Received: (at 61016-done) by debbugs.gnu.org; 25 Jan 2023 09:53:36 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Wed Jan 25 04:53:36 2023 Received: from localhost ([127.0.0.1]:58314 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pKcTI-0002rH-0R for submit <at> debbugs.gnu.org; Wed, 25 Jan 2023 04:53:36 -0500 Received: from mout02.posteo.de ([185.67.36.66]:52909) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <glv@HIDDEN>) id 1pKcTF-0002qy-WE for 61016-done <at> debbugs.gnu.org; Wed, 25 Jan 2023 04:53:34 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id 8067424085E for <61016-done <at> debbugs.gnu.org>; Wed, 25 Jan 2023 10:53:27 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1674640407; bh=IMTt0SIjTXz+K4I8JPvPvjCyHqh6V4UIgOLJXBbc0eQ=; h=From:To:Cc:Subject:Date:From; b=KZDxzle6OnixRw+YhY9kArzuj6E0cw9NaRMynAkW75rGx50le9YoCLyRmqdO2tSt4 elOU4Yqy5HUX4bd8lLiedg7sYHMcSLDeA7kip3NGPBY7i04NzR0NSwSb5HcVIiZ+1r CdJ7ovnucHo0yUr8b8gu9k9gIx3TYP15dFAICMjVtL1zwtSuIzd6zVFDKePidKti9F iOZP+QjjqKFJLPlTn8B/uQwpiEMIHiadhrdGRL4zxR+sUieSzX5T0V7VVj1ruthlLV VAzuB4kF0a+lJkh13htiAGmtwjkzqqTGlrIzDASvR9f/teAXXsNPE7MSQyChb+mzf9 LsgbGqERQUPqQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4P1zgB4ZHDz9rxK; Wed, 25 Jan 2023 10:53:25 +0100 (CET) References: <20230123040630.402547-1-paul@HIDDEN> From: Guillaume Le Vaillant <glv@HIDDEN> To: "Paul A. Patience" <paul@HIDDEN> Subject: Re: [bug#61016] [PATCH] gnu: cl-coalton: Update to 0.0.1-3.ba75806. Date: Wed, 25 Jan 2023 09:52:55 +0000 In-reply-to: <20230123040630.402547-1-paul@HIDDEN> Message-ID: <878rhrszxm.fsf@kitej> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 61016-done Cc: 61016-done <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -3.3 (---) Patch pushed as 9cebf247e7eb05b86a092532cdb775e45536f5e0. Thanks.
"Paul A. Patience" <paul@HIDDEN>:Guillaume Le Vaillant <glv@HIDDEN>:
Received: (at submit) by debbugs.gnu.org; 23 Jan 2023 04:07:13 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jan 22 23:07:13 2023
Received: from localhost ([127.0.0.1]:52980 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1pJo6z-0005wZ-FY
for submit <at> debbugs.gnu.org; Sun, 22 Jan 2023 23:07:13 -0500
Received: from lists.gnu.org ([209.51.188.17]:54962)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <paul@HIDDEN>) id 1pJo6v-0005wP-Dh
for submit <at> debbugs.gnu.org; Sun, 22 Jan 2023 23:07:11 -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 <paul@HIDDEN>)
id 1pJo6v-0002fN-4w
for guix-patches@HIDDEN; Sun, 22 Jan 2023 23:07:09 -0500
Received: from mail-4317.proton.ch ([185.70.43.17])
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from <paul@HIDDEN>)
id 1pJo6r-0005YD-F4
for guix-patches@HIDDEN; Sun, 22 Jan 2023 23:07:08 -0500
Date: Mon, 23 Jan 2023 04:06:42 +0000
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=apatience.com;
s=protonmail3; t=1674446815; x=1674706015;
bh=dZLkCtv4RDEh27vYA/qp2B2k/gIVTaKO0H6OV9jYDf8=;
h=Date:To:From:Cc:Subject:Message-ID:Feedback-ID:From:To:Cc:Date:
Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector;
b=ICRD8FDSLPm1OTH1IMfd4SJFyvHXg4Q/VYyNTrd9vPDfZ1QChsGXiyBFVzfA05PD5
TuyeoPCtI0exz9BGIrYV9ApqZQPKifyopF+clBeMTXtTq8kAD3FePGX1K749vbRCcg
ngY8KVWPI10fxiZlqzdc38AwnD9FHexFWGVr5IRzu+xL6Q+wANrhZllf9EqMJ4enmC
QVOIuBLpkMNFVV+3xPIXnCWMYdsWqeaQIZtWrgLpWxFbOiIFca+BT4E+cSZSaily8a
2mtBRtXGvzkG0nwNOH0JV/iKVXxFZcqBcSInk38/SUHfi/WsECPOwRfc8fo/YwyKuY
mnSSkdoz9CtkA==
To: guix-patches@HIDDEN
From: "Paul A. Patience" <paul@HIDDEN>
Subject: [PATCH] gnu: cl-coalton: Update to 0.0.1-3.ba75806.
Message-ID: <20230123040630.402547-1-paul@HIDDEN>
Feedback-ID: 19227857:user:proton
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Received-SPF: pass client-ip=185.70.43.17; envelope-from=paul@HIDDEN;
helo=mail-4317.proton.ch
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,
RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_PASS=-0.001,
SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.3 (-)
X-Debbugs-Envelope-To: submit
Cc: "Paul A. Patience" <paul@HIDDEN>
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.3 (--)
* gnu/packages/lisp-xyz.scm (sbcl-coalton): Update to 0.0.1-3.ba75806.
[source]: Add cl- prefix to file-name.
[inputs]: Remove sbcl-global-vars, sbcl-serapeum and sbcl-trivia, and
add sbcl-split-sequence and sbcl-trivial-garbage.
---
gnu/packages/lisp-xyz.scm | 13 ++++++-------
1 file changed, 6 insertions(+), 7 deletions(-)
diff --git a/gnu/packages/lisp-xyz.scm b/gnu/packages/lisp-xyz.scm
index f8dbf9e1c8..495a4110a1 100644
--- a/gnu/packages/lisp-xyz.scm
+++ b/gnu/packages/lisp-xyz.scm
@@ -17934,8 +17934,8 @@ (define-public cl-abstract-classes
(sbcl-package->cl-source-package sbcl-abstract-classes))
(define-public sbcl-coalton
- (let ((commit "012f6c8db6d73df16f7729090a12a929fb82db17")
- (revision "2"))
+ (let ((commit "ba758062bdc7c316438198601f43900c51df25d8")
+ (revision "3"))
(package
(name "sbcl-coalton")
(version (git-version "0.0.1" revision commit))
@@ -17945,9 +17945,9 @@ (define-public sbcl-coalton
(uri (git-reference
(url "https://github.com/coalton-lang/coalton")
(commit commit)))
- (file-name (git-file-name "coalton" version))
+ (file-name (git-file-name "cl-coalton" version))
(sha256
- (base32 "1j3d12vyyn7y9nz2an4xmaa5si0jbxbwq7y61hq2b7vk376zvw18"))=
))
+ (base32 "08sxfla1gyf9pczylaq1cn2j1nr2gzc9w0pk6aarsa4q2770zhf7"))=
))
(build-system asdf-build-system/sbcl)
(native-inputs
(list sbcl-fiasco))
@@ -17955,10 +17955,9 @@ (define-public sbcl-coalton
(list sbcl-alexandria
sbcl-float-features
sbcl-fset
- sbcl-global-vars
sbcl-json-streams
- sbcl-serapeum
- sbcl-trivia))
+ sbcl-split-sequence
+ sbcl-trivial-garbage))
(home-page "https://coalton-lang.github.io")
(synopsis "Dialect of ML in Common Lisp")
(description
--
2.38.1
"Paul A. Patience" <paul@HIDDEN>:guix-patches@HIDDEN.
Full text available.guix-patches@HIDDEN:bug#61016; Package guix-patches.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.