Received: (at 75251-done) by debbugs.gnu.org; 9 Jan 2025 21:10:59 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Jan 09 16:10:59 2025
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
jgart <jgart@HIDDEN>:jgart <jgart@HIDDEN>:
Received: (at submit) by debbugs.gnu.org; 1 Jan 2025 19:07:26 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Jan 01 14:07:26 2025
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
jgart <jgart@HIDDEN>:guix-patches@HIDDEN.
Full text available.guix-patches@HIDDEN:bug#75251; Package guix-patches.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.