X-Loop: help-debbugs@HIDDEN
Subject: [bug#75251] [PATCH 04/71] gnu: clingo: Rename clasp to potassco-clasp.
Resent-From: jgart <jgart@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Wed, 01 Jan 2025 19:08:05 +0000
Resent-Message-ID: <handler.75251.B.173575844627692 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 75251
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 75251 <at> debbugs.gnu.org
Cc: jgart <jgart@HIDDEN>
X-Debbugs-Original-To: guix-patches@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.173575844627692
(code B ref -1); Wed, 01 Jan 2025 19:08:05 +0000
Received: (at submit) by debbugs.gnu.org; 1 Jan 2025 19:07:26 +0000
Received: from localhost ([127.0.0.1]:39830 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1tT43x-0007CV-SC
for submit <at> debbugs.gnu.org; Wed, 01 Jan 2025 14:07:26 -0500
Received: from lists.gnu.org ([2001:470:142::17]:49622)
by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.84_2) (envelope-from <jgart@HIDDEN>) id 1tT43w-0007Bi-Ol
for submit <at> debbugs.gnu.org; Wed, 01 Jan 2025 14:07:25 -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 <jgart@HIDDEN>) id 1tT43r-0000wr-7H
for guix-patches@HIDDEN; Wed, 01 Jan 2025 14:07:19 -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 <jgart@HIDDEN>) id 1tT43o-0001i6-9X
for guix-patches@HIDDEN; Wed, 01 Jan 2025 14:07:18 -0500
Received: from mx2.dismail.de (localhost [127.0.0.1])
by mx2.dismail.de (OpenSMTPD) with ESMTP id c2e75875
for <guix-patches@HIDDEN>; Wed, 1 Jan 2025 20:07:14 +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=sEc+3fMTJVV8eZsZV3Nzi
Zdw5QDix9Em9BGh4Vc4Yk4=; b=Z+ry5dZ4mLvHnarUZgdzU7O3GeDvUfv4Opclx
9JVlSGKeIlry4kUixr0Px/Rk32u0nQE9Y8GIwQ8pRb8wcA/2G9H1D/ktVXW8c0bs
wkEofEWpLFx07aTTnrkcKkxrJz+R4L0CnQqJqvvWTEuk+wW2Bx1NltmGm1M+UC86
7RbiNDNUM+nsfCkVM6IaRQ71pSf7f8BA30Fk2MlPiXh+Zkcrn/e28+r8qz4ebGJZ
USIdECJFHSyIhNUjyFjWF2Az+mdaH1Bn559Kxg9HYxkeTJI6AtFkvziUqULpa8/y
hff0mtx8yB5fJjOpjjpH0Ucn1exCtodr5o45OEn12LBlOpQqw==
Received: from smtp1.dismail.de (<unknown> [10.240.26.11])
by mx2.dismail.de (OpenSMTPD) with ESMTP id 67330743
for <guix-patches@HIDDEN>; Wed, 1 Jan 2025 20:07:14 +0100 (CET)
Received: from smtp1.dismail.de (localhost [127.0.0.1])
by smtp1.dismail.de (OpenSMTPD) with ESMTP id e2ffb047
for <guix-patches@HIDDEN>; Wed, 1 Jan 2025 20:07:13 +0100 (CET)
Received: by dismail.de (OpenSMTPD) with ESMTPSA id 6ada0e79
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO);
Wed, 1 Jan 2025 20:07:12 +0100 (CET)
From: jgart <jgart@HIDDEN>
Date: Wed, 1 Jan 2025 13:03:41 -0600
Message-ID: <ccc4b9fa330829bd46e47d9d25f6f66e70a1e321.1735758287.git.jgart@HIDDEN>
X-Mailer: git-send-email 2.47.1
In-Reply-To: <956a660e5d8e0ce701b1c991d532f8ab5a2c5714.1735758287.git.jgart@HIDDEN>
References: <956a660e5d8e0ce701b1c991d532f8ab5a2c5714.1735758287.git.jgart@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=159.69.191.136; envelope-from=jgart@HIDDEN;
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, 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-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: -0.1 (/)
* gnu/packages/potassco.scm (clasp): Rename clasp to potassco-clasp.
Change-Id: Icfe32aae31c3abe655a909d3edf28306eb51f293
---
gnu/packages/potassco.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 09acf0f442..17b6b96fb3 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -203,7 +203,7 @@ (define-public clingo
(("find_package\\(Clasp") "find_package(clasp"))
(rename-file "cmake/ClingoConfig.cmake.in"
"cmake/clingo-config.cmake.in"))))))
- (inputs (list catch2-3 clasp libpotassco))
+ (inputs (list catch2-3 potassco-clasp libpotassco))
(native-inputs (list bison re2c
mpark-variant
pkg-config
--
2.47.1
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: jgart <jgart@HIDDEN> Subject: bug#75251: Acknowledgement ([PATCH 04/71] gnu: clingo: Rename clasp to potassco-clasp.) Message-ID: <handler.75251.B.173575844627692.ack <at> debbugs.gnu.org> References: <ccc4b9fa330829bd46e47d9d25f6f66e70a1e321.1735758287.git.jgart@HIDDEN> X-Gnu-PR-Message: ack 75251 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 75251 <at> debbugs.gnu.org Date: Wed, 01 Jan 2025 19:08:05 +0000 Thank you for filing a new bug report with debbugs.gnu.org. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. Your message has been sent to the package maintainer(s): guix-patches@HIDDEN If you wish to submit further information on this problem, please send it to 75251 <at> debbugs.gnu.org. Please do not send mail to help-debbugs@HIDDEN unless you wish to report a problem with the Bug-tracking system. --=20 75251: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D75251 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: jgart <jgart@HIDDEN>
Subject: bug#75251: closed ([PATCH 04/71] gnu: clingo: Rename clasp to
potassco-clasp.)
CC: tracker <at> debbugs.gnu.org
Message-ID: <handler.75251.D75251.173645705921574.ackdone <at> debbugs.gnu.org>
References: <87plkv3d7s.fsf@HIDDEN>
<ccc4b9fa330829bd46e47d9d25f6f66e70a1e321.1735758287.git.jgart@HIDDEN>
X-Gnu-PR-Message: closed 75251
X-Gnu-PR-Package: guix-patches
X-Gnu-PR-Keywords: patch
Date: Thu, 09 Jan 2025 21:11:01 +0000
Content-Type: multipart/mixed; boundary="----------=_1736457061-21586-0"
This is a multi-part message in MIME format...
------------=_1736457061-21586-0
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset=utf-8
Your message dated Thu, 09 Jan 2025 15:10:47 -0600
with message-id <87plkv3d7s.fsf@HIDDEN>
and subject line Re: [PATCH 04/71] gnu: clingo: Rename clasp to potassco-cl=
asp.
has caused the debbugs.gnu.org bug report #75251,
regarding [PATCH 04/71] gnu: clingo: Rename clasp to potassco-clasp.
to be marked as done.
(If you believe you have received this mail in error, please contact
help-debbugs@HIDDEN)
--=20
75251: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D75251
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems
------------=_1736457061-21586-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit
Received: (at submit) by debbugs.gnu.org; 1 Jan 2025 19:07:26 +0000
Received: from localhost ([127.0.0.1]:39830 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1tT43x-0007CV-SC
for submit <at> debbugs.gnu.org; Wed, 01 Jan 2025 14:07:26 -0500
Received: from lists.gnu.org ([2001:470:142::17]:49622)
by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.84_2) (envelope-from <jgart@HIDDEN>) id 1tT43w-0007Bi-Ol
for submit <at> debbugs.gnu.org; Wed, 01 Jan 2025 14:07:25 -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 <jgart@HIDDEN>) id 1tT43r-0000wr-7H
for guix-patches@HIDDEN; Wed, 01 Jan 2025 14:07:19 -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 <jgart@HIDDEN>) id 1tT43o-0001i6-9X
for guix-patches@HIDDEN; Wed, 01 Jan 2025 14:07:18 -0500
Received: from mx2.dismail.de (localhost [127.0.0.1])
by mx2.dismail.de (OpenSMTPD) with ESMTP id c2e75875
for <guix-patches@HIDDEN>; Wed, 1 Jan 2025 20:07:14 +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=sEc+3fMTJVV8eZsZV3Nzi
Zdw5QDix9Em9BGh4Vc4Yk4=; b=Z+ry5dZ4mLvHnarUZgdzU7O3GeDvUfv4Opclx
9JVlSGKeIlry4kUixr0Px/Rk32u0nQE9Y8GIwQ8pRb8wcA/2G9H1D/ktVXW8c0bs
wkEofEWpLFx07aTTnrkcKkxrJz+R4L0CnQqJqvvWTEuk+wW2Bx1NltmGm1M+UC86
7RbiNDNUM+nsfCkVM6IaRQ71pSf7f8BA30Fk2MlPiXh+Zkcrn/e28+r8qz4ebGJZ
USIdECJFHSyIhNUjyFjWF2Az+mdaH1Bn559Kxg9HYxkeTJI6AtFkvziUqULpa8/y
hff0mtx8yB5fJjOpjjpH0Ucn1exCtodr5o45OEn12LBlOpQqw==
Received: from smtp1.dismail.de (<unknown> [10.240.26.11])
by mx2.dismail.de (OpenSMTPD) with ESMTP id 67330743
for <guix-patches@HIDDEN>; Wed, 1 Jan 2025 20:07:14 +0100 (CET)
Received: from smtp1.dismail.de (localhost [127.0.0.1])
by smtp1.dismail.de (OpenSMTPD) with ESMTP id e2ffb047
for <guix-patches@HIDDEN>; Wed, 1 Jan 2025 20:07:13 +0100 (CET)
Received: by dismail.de (OpenSMTPD) with ESMTPSA id 6ada0e79
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO);
Wed, 1 Jan 2025 20:07:12 +0100 (CET)
From: jgart <jgart@HIDDEN>
To: guix-patches@HIDDEN
Subject: [PATCH 04/71] gnu: clingo: Rename clasp to potassco-clasp.
Date: Wed, 1 Jan 2025 13:03:41 -0600
Message-ID: <ccc4b9fa330829bd46e47d9d25f6f66e70a1e321.1735758287.git.jgart@HIDDEN>
X-Mailer: git-send-email 2.47.1
In-Reply-To: <956a660e5d8e0ce701b1c991d532f8ab5a2c5714.1735758287.git.jgart@HIDDEN>
References: <956a660e5d8e0ce701b1c991d532f8ab5a2c5714.1735758287.git.jgart@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=159.69.191.136; envelope-from=jgart@HIDDEN;
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, 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 <jgart@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: -0.1 (/)
* gnu/packages/potassco.scm (clasp): Rename clasp to potassco-clasp.
Change-Id: Icfe32aae31c3abe655a909d3edf28306eb51f293
---
gnu/packages/potassco.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 09acf0f442..17b6b96fb3 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -203,7 +203,7 @@ (define-public clingo
(("find_package\\(Clasp") "find_package(clasp"))
(rename-file "cmake/ClingoConfig.cmake.in"
"cmake/clingo-config.cmake.in"))))))
- (inputs (list catch2-3 clasp libpotassco))
+ (inputs (list catch2-3 potassco-clasp libpotassco))
(native-inputs (list bison re2c
mpark-variant
pkg-config
--
2.47.1
------------=_1736457061-21586-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit
Received: (at 75251-done) by debbugs.gnu.org; 9 Jan 2025 21:10:59 +0000
Received: from localhost ([127.0.0.1]:54663 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1tVznv-0005bu-3V
for submit <at> debbugs.gnu.org; Thu, 09 Jan 2025 16:10:59 -0500
Received: from mx2.dismail.de ([159.69.191.136]:46625)
by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.84_2) (envelope-from <jgart@HIDDEN>) id 1tVzns-0005be-P3
for 75251-done <at> debbugs.gnu.org; Thu, 09 Jan 2025 16:10:57 -0500
Received: from mx2.dismail.de (localhost [127.0.0.1])
by mx2.dismail.de (OpenSMTPD) with ESMTP id 38ee3cdd
for <75251-done <at> debbugs.gnu.org>;
Thu, 9 Jan 2025 22:10:50 +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=qBJ5CA7yme3lIlegd2eo8oTc/9U0c2mO2+wlWaUVI/k=; b=
hxaSMhPwXTQJNE1BDp4WwRtS0QjllfB9aK9uPgAmdVpdb/mzRgJtBbYU5xnnPUtg
ggGz6BILJ49Z2vr8E58iGh2vq90Z2d2ZxK5xN0clWI4suPCEVB1Stbcw/U0Ct4s+
NdX1VdLeaQt2XGTxosidiWijONLXzZwDMiUMQNi6o6H9/MMfp++g1dK4im0fJWre
c5wF4bwhLmpiECn4Nl2WBQVcIeSXEl3Sar26D3Xr8ZsdeYjyJefNQjeo1p9E9FmP
SQJPCuiLQXQDhK2BrYoWAs/hxh33t5MLvA6j4hxYhBwdTRgwq86zI+urHGs4Rw9X
zr4XxuNata+DuE2E1V5yfQ==
Received: from smtp2.dismail.de (<unknown> [10.240.26.12])
by mx2.dismail.de (OpenSMTPD) with ESMTP id e48cf9a2
for <75251-done <at> debbugs.gnu.org>;
Thu, 9 Jan 2025 22:10:50 +0100 (CET)
Received: from smtp2.dismail.de (localhost [127.0.0.1])
by smtp2.dismail.de (OpenSMTPD) with ESMTP id eff0b2e8
for <75251-done <at> debbugs.gnu.org>;
Thu, 9 Jan 2025 22:10:50 +0100 (CET)
Received: by dismail.de (OpenSMTPD) with ESMTPSA id 28454f62
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO);
Thu, 9 Jan 2025 22:10:49 +0100 (CET)
From: jgart <jgart@HIDDEN>
To: 75251-done <at> debbugs.gnu.org
Subject: Re: [PATCH 04/71] gnu: clingo: Rename clasp to potassco-clasp.
In-Reply-To: <ccc4b9fa330829bd46e47d9d25f6f66e70a1e321.1735758287.git.jgart@HIDDEN>
Date: Thu, 09 Jan 2025 15:10:47 -0600
Message-ID: <87plkv3d7s.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 75251-done
Cc: jgart <jgart@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: -3.3 (---)
> * gnu/packages/potassco.scm (clasp): Rename clasp to potassco-clasp.
>
> Change-Id: Icfe32aae31c3abe655a909d3edf28306eb51f293
> ---
> gnu/packages/potassco.scm | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
> index 09acf0f442..17b6b96fb3 100644
> --- a/gnu/packages/potassco.scm
> +++ b/gnu/packages/potassco.scm
> @@ -203,7 +203,7 @@ (define-public clingo
> (("find_package\\(Clasp") "find_package(clasp"))
> (rename-file "cmake/ClingoConfig.cmake.in"
> "cmake/clingo-config.cmake.in"))))))
> - (inputs (list catch2-3 clasp libpotassco))
> + (inputs (list catch2-3 potassco-clasp libpotassco))
> (native-inputs (list bison re2c
> mpark-variant
> pkg-config
> --
> 2.47.1
<#secure method=pgpmime mode=sign>
--
all the best,
jgart
------------=_1736457061-21586-0--
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: jgart <jgart@HIDDEN>
Subject: bug#75251: closed (Re: [PATCH 04/71] gnu: clingo: Rename clasp to
potassco-clasp.)
Message-ID: <handler.75251.D75251.173645705921574.notifdone <at> debbugs.gnu.org>
References: <87plkv3d7s.fsf@HIDDEN>
<ccc4b9fa330829bd46e47d9d25f6f66e70a1e321.1735758287.git.jgart@HIDDEN>
X-Gnu-PR-Message: they-closed 75251
X-Gnu-PR-Package: guix-patches
X-Gnu-PR-Keywords: patch
Reply-To: 75251 <at> debbugs.gnu.org
Date: Thu, 09 Jan 2025 21:11:02 +0000
Content-Type: multipart/mixed; boundary="----------=_1736457062-21586-1"
This is a multi-part message in MIME format...
------------=_1736457062-21586-1
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="utf-8"
Your bug report
#75251: [PATCH 04/71] gnu: clingo: Rename clasp to potassco-clasp.
which was filed against the guix-patches package, has been closed.
The explanation is attached below, along with your original report.
If you require more details, please reply to 75251 <at> debbugs.gnu.org.
--=20
75251: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D75251
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems
------------=_1736457062-21586-1
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit
Received: (at 75251-done) by debbugs.gnu.org; 9 Jan 2025 21:10:59 +0000
Received: from localhost ([127.0.0.1]:54663 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1tVznv-0005bu-3V
for submit <at> debbugs.gnu.org; Thu, 09 Jan 2025 16:10:59 -0500
Received: from mx2.dismail.de ([159.69.191.136]:46625)
by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.84_2) (envelope-from <jgart@HIDDEN>) id 1tVzns-0005be-P3
for 75251-done <at> debbugs.gnu.org; Thu, 09 Jan 2025 16:10:57 -0500
Received: from mx2.dismail.de (localhost [127.0.0.1])
by mx2.dismail.de (OpenSMTPD) with ESMTP id 38ee3cdd
for <75251-done <at> debbugs.gnu.org>;
Thu, 9 Jan 2025 22:10:50 +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=qBJ5CA7yme3lIlegd2eo8oTc/9U0c2mO2+wlWaUVI/k=; b=
hxaSMhPwXTQJNE1BDp4WwRtS0QjllfB9aK9uPgAmdVpdb/mzRgJtBbYU5xnnPUtg
ggGz6BILJ49Z2vr8E58iGh2vq90Z2d2ZxK5xN0clWI4suPCEVB1Stbcw/U0Ct4s+
NdX1VdLeaQt2XGTxosidiWijONLXzZwDMiUMQNi6o6H9/MMfp++g1dK4im0fJWre
c5wF4bwhLmpiECn4Nl2WBQVcIeSXEl3Sar26D3Xr8ZsdeYjyJefNQjeo1p9E9FmP
SQJPCuiLQXQDhK2BrYoWAs/hxh33t5MLvA6j4hxYhBwdTRgwq86zI+urHGs4Rw9X
zr4XxuNata+DuE2E1V5yfQ==
Received: from smtp2.dismail.de (<unknown> [10.240.26.12])
by mx2.dismail.de (OpenSMTPD) with ESMTP id e48cf9a2
for <75251-done <at> debbugs.gnu.org>;
Thu, 9 Jan 2025 22:10:50 +0100 (CET)
Received: from smtp2.dismail.de (localhost [127.0.0.1])
by smtp2.dismail.de (OpenSMTPD) with ESMTP id eff0b2e8
for <75251-done <at> debbugs.gnu.org>;
Thu, 9 Jan 2025 22:10:50 +0100 (CET)
Received: by dismail.de (OpenSMTPD) with ESMTPSA id 28454f62
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO);
Thu, 9 Jan 2025 22:10:49 +0100 (CET)
From: jgart <jgart@HIDDEN>
To: 75251-done <at> debbugs.gnu.org
Subject: Re: [PATCH 04/71] gnu: clingo: Rename clasp to potassco-clasp.
In-Reply-To: <ccc4b9fa330829bd46e47d9d25f6f66e70a1e321.1735758287.git.jgart@HIDDEN>
Date: Thu, 09 Jan 2025 15:10:47 -0600
Message-ID: <87plkv3d7s.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 75251-done
Cc: jgart <jgart@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: -3.3 (---)
> * gnu/packages/potassco.scm (clasp): Rename clasp to potassco-clasp.
>
> Change-Id: Icfe32aae31c3abe655a909d3edf28306eb51f293
> ---
> gnu/packages/potassco.scm | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
> index 09acf0f442..17b6b96fb3 100644
> --- a/gnu/packages/potassco.scm
> +++ b/gnu/packages/potassco.scm
> @@ -203,7 +203,7 @@ (define-public clingo
> (("find_package\\(Clasp") "find_package(clasp"))
> (rename-file "cmake/ClingoConfig.cmake.in"
> "cmake/clingo-config.cmake.in"))))))
> - (inputs (list catch2-3 clasp libpotassco))
> + (inputs (list catch2-3 potassco-clasp libpotassco))
> (native-inputs (list bison re2c
> mpark-variant
> pkg-config
> --
> 2.47.1
<#secure method=pgpmime mode=sign>
--
all the best,
jgart
------------=_1736457062-21586-1
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit
Received: (at submit) by debbugs.gnu.org; 1 Jan 2025 19:07:26 +0000
Received: from localhost ([127.0.0.1]:39830 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1tT43x-0007CV-SC
for submit <at> debbugs.gnu.org; Wed, 01 Jan 2025 14:07:26 -0500
Received: from lists.gnu.org ([2001:470:142::17]:49622)
by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.84_2) (envelope-from <jgart@HIDDEN>) id 1tT43w-0007Bi-Ol
for submit <at> debbugs.gnu.org; Wed, 01 Jan 2025 14:07:25 -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 <jgart@HIDDEN>) id 1tT43r-0000wr-7H
for guix-patches@HIDDEN; Wed, 01 Jan 2025 14:07:19 -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 <jgart@HIDDEN>) id 1tT43o-0001i6-9X
for guix-patches@HIDDEN; Wed, 01 Jan 2025 14:07:18 -0500
Received: from mx2.dismail.de (localhost [127.0.0.1])
by mx2.dismail.de (OpenSMTPD) with ESMTP id c2e75875
for <guix-patches@HIDDEN>; Wed, 1 Jan 2025 20:07:14 +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=sEc+3fMTJVV8eZsZV3Nzi
Zdw5QDix9Em9BGh4Vc4Yk4=; b=Z+ry5dZ4mLvHnarUZgdzU7O3GeDvUfv4Opclx
9JVlSGKeIlry4kUixr0Px/Rk32u0nQE9Y8GIwQ8pRb8wcA/2G9H1D/ktVXW8c0bs
wkEofEWpLFx07aTTnrkcKkxrJz+R4L0CnQqJqvvWTEuk+wW2Bx1NltmGm1M+UC86
7RbiNDNUM+nsfCkVM6IaRQ71pSf7f8BA30Fk2MlPiXh+Zkcrn/e28+r8qz4ebGJZ
USIdECJFHSyIhNUjyFjWF2Az+mdaH1Bn559Kxg9HYxkeTJI6AtFkvziUqULpa8/y
hff0mtx8yB5fJjOpjjpH0Ucn1exCtodr5o45OEn12LBlOpQqw==
Received: from smtp1.dismail.de (<unknown> [10.240.26.11])
by mx2.dismail.de (OpenSMTPD) with ESMTP id 67330743
for <guix-patches@HIDDEN>; Wed, 1 Jan 2025 20:07:14 +0100 (CET)
Received: from smtp1.dismail.de (localhost [127.0.0.1])
by smtp1.dismail.de (OpenSMTPD) with ESMTP id e2ffb047
for <guix-patches@HIDDEN>; Wed, 1 Jan 2025 20:07:13 +0100 (CET)
Received: by dismail.de (OpenSMTPD) with ESMTPSA id 6ada0e79
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO);
Wed, 1 Jan 2025 20:07:12 +0100 (CET)
From: jgart <jgart@HIDDEN>
To: guix-patches@HIDDEN
Subject: [PATCH 04/71] gnu: clingo: Rename clasp to potassco-clasp.
Date: Wed, 1 Jan 2025 13:03:41 -0600
Message-ID: <ccc4b9fa330829bd46e47d9d25f6f66e70a1e321.1735758287.git.jgart@HIDDEN>
X-Mailer: git-send-email 2.47.1
In-Reply-To: <956a660e5d8e0ce701b1c991d532f8ab5a2c5714.1735758287.git.jgart@HIDDEN>
References: <956a660e5d8e0ce701b1c991d532f8ab5a2c5714.1735758287.git.jgart@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=159.69.191.136; envelope-from=jgart@HIDDEN;
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, 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 <jgart@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: -0.1 (/)
* gnu/packages/potassco.scm (clasp): Rename clasp to potassco-clasp.
Change-Id: Icfe32aae31c3abe655a909d3edf28306eb51f293
---
gnu/packages/potassco.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 09acf0f442..17b6b96fb3 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -203,7 +203,7 @@ (define-public clingo
(("find_package\\(Clasp") "find_package(clasp"))
(rename-file "cmake/ClingoConfig.cmake.in"
"cmake/clingo-config.cmake.in"))))))
- (inputs (list catch2-3 clasp libpotassco))
+ (inputs (list catch2-3 potassco-clasp libpotassco))
(native-inputs (list bison re2c
mpark-variant
pkg-config
--
2.47.1
------------=_1736457062-21586-1--
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.