From debbugs-submit-bounces@debbugs.gnu.org Wed Jan 01 14:07:25 2025 Received: (at submit) by debbugs.gnu.org; 1 Jan 2025 19:07:25 +0000 Received: from localhost ([127.0.0.1]:39828 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tT43x-0007CN-Gu for submit@debbugs.gnu.org; Wed, 01 Jan 2025 14:07:25 -0500 Received: from lists.gnu.org ([2001:470:142::17]:48632) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tT43t-0007BW-Ui for submit@debbugs.gnu.org; Wed, 01 Jan 2025 14:07:22 -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 1tT43o-0000wg-6B for guix-patches@gnu.org; Wed, 01 Jan 2025 14:07:16 -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 1tT43m-0001hj-MD for guix-patches@gnu.org; Wed, 01 Jan 2025 14:07:15 -0500 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 07b2af2b for ; Wed, 1 Jan 2025 20:07:11 +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=NR/BRFw+teUQ9FmP8Yebe bZNzB7emZU9LDwopBRBHXQ=; b=YwphJI3qWWjfXUPcLwNtpyh5hQXOA86l6RCnJ JDwmwW7RbGxhGLiE3s2dqQcHrvYj8Wr2XCj2DVwSjLUumMjVjn52jd9jBlfsWPIO xzulO4KiU/qsM6qJ+oQyEQ1QEwGJ0IiSsGZbJuYmeoZCrytXqb4GAOjwjqdarpTL vmnVP9mdXeEbveJLmKPeI/M1ZtCi8d1LkVQlE9aE1IlEZe+wV90X3ePp6VHGWIDn DZR9XSujgbvPhfSZ5WZKmGslGDVEXnNfnoLlGXwn/asL5fZN4l/jaAJIsNQz97Es deIDb6tlaPiRbQUjjLFu47Vrk7gWZirgqFhIcrJdaYlkz7lrA== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx1.dismail.de (OpenSMTPD) with ESMTP id d1c05d9e for ; Wed, 1 Jan 2025 20:07:11 +0100 (CET) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id 4b573357 for ; Wed, 1 Jan 2025 20:07:10 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id ca487f0c (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Wed, 1 Jan 2025 20:07:08 +0100 (CET) From: jgart To: guix-patches@gnu.org Subject: [PATCH 03/71] gnu: clasp: Rename variable. Date: Wed, 1 Jan 2025 13:03:40 -0600 Message-ID: <2f3b0753754ee3388d91b8dda67e51baf9ffcb11.1735758287.git.jgart@dismail.de> X-Mailer: git-send-email 2.47.1 In-Reply-To: <956a660e5d8e0ce701b1c991d532f8ab5a2c5714.1735758287.git.jgart@dismail.de> References: <956a660e5d8e0ce701b1c991d532f8ab5a2c5714.1735758287.git.jgart@dismail.de> MIME-Version: 1.0 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, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-Debbugs-Envelope-To: submit 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: -0.1 (/) * gnu/packages/potassco.scm (clasp): Rename to potassco-clasp. Change-Id: Icd7758d4839d41ffdc32ad237ae1fea5e55edc24 --- gnu/packages/potassco.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index d7da301ba8..09acf0f442 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -103,9 +103,9 @@ (define-public libpotassco between aspif and smodels format or to a human-readable text format.") (license license:expat)))) -(define-public clasp +(define-public potassco-clasp (package - (name "clasp") + (name "potassco-clasp") (version "3.3.10") (source (origin (method git-fetch) -- 2.47.1 From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 09 15:55:06 2025 Received: (at 75250-done) by debbugs.gnu.org; 9 Jan 2025 20:55:06 +0000 Received: from localhost ([127.0.0.1]:54496 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tVzYY-0004g4-8y for submit@debbugs.gnu.org; Thu, 09 Jan 2025 15:55:06 -0500 Received: from mx1.dismail.de ([78.46.223.134]:42522) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tVzYW-0004fR-07 for 75250-done@debbugs.gnu.org; Thu, 09 Jan 2025 15:55:04 -0500 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 15b3ea9d for <75250-done@debbugs.gnu.org>; Thu, 9 Jan 2025 21:54:57 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to:cc :subject:in-reply-to:date:message-id:mime-version:content-type; s=20190914; bh=8tLkg7DtzGc+e9YhSN3c1vqvbxXDsUC95qZ09lr8n8I=; b= POAIpsj24qxJwk+91zui6QcWDnSIiWc5jdWKapXA/7ix5cydDnU1Ht4/cL6/uwBo q97REIXw5meC98IgHscyYfluxSkMpy5EHDwoFjzYDE8+e9amdqHZ97fLorvcxgJc xU8E7PV+wTuc1Q5hK8ppT3RqdezIo0t9njd+YiXC0akDJOKzB9FB5zZPINLavKx0 9W9g+6zETtgsTxDXrDpqSlZzCQU/5UAjKb6B4sk59IkT+VnHnfiX/53VNwXGHVH+ +U67osZ+CpyckxsH3IX1Vnz1wTBiTG1ndeo/a8niMq6bsy5jbUAR4Ja/+uTapeZ0 rQKu6GhkroeRJii0zuuOyA== Received: from smtp1.dismail.de ( [10.240.26.11]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 5800af41 for <75250-done@debbugs.gnu.org>; Thu, 9 Jan 2025 21:54:57 +0100 (CET) Received: from smtp1.dismail.de (localhost [127.0.0.1]) by smtp1.dismail.de (OpenSMTPD) with ESMTP id a00bcb36 for <75250-done@debbugs.gnu.org>; Thu, 9 Jan 2025 21:54:56 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id bda95b49 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Thu, 9 Jan 2025 21:54:56 +0100 (CET) From: jgart To: 75250-done@debbugs.gnu.org Subject: Re: [PATCH 03/71] gnu: clasp: Rename variable. In-Reply-To: <2f3b0753754ee3388d91b8dda67e51baf9ffcb11.1735758287.git.jgart@dismail.de> Date: Thu, 09 Jan 2025 14:54:54 -0600 Message-ID: <875xmn6735.fsf@dismail.de> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 75250-done 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/potassco.scm (clasp): Rename to potassco-clasp. > > Change-Id: Icd7758d4839d41ffdc32ad237ae1fea5e55edc24 > --- > gnu/packages/potassco.scm | 4 ++-- > 1 file changed, 2 insertions(+), 2 deletions(-) > > diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm > index d7da301ba8..09acf0f442 100644 > --- a/gnu/packages/potassco.scm > +++ b/gnu/packages/potassco.scm > @@ -103,9 +103,9 @@ (define-public libpotassco > between aspif and smodels format or to a human-readable text format.") > (license license:expat)))) > > -(define-public clasp > +(define-public potassco-clasp > (package > - (name "clasp") > + (name "potassco-clasp") > (version "3.3.10") > (source (origin > (method git-fetch) > -- > 2.47.1 <#secure method=pgpmime mode=sign> -- all the best, jgart From unknown Thu Aug 14 22:20:37 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 07 Feb 2025 12:24:11 +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