GNU bug report logs - #75251
[PATCH 04/71] gnu: clingo: Rename clasp to potassco-clasp.

Previous Next

Package: guix-patches;

Reported by: jgart <jgart <at> dismail.de>

Date: Wed, 1 Jan 2025 19:08:05 UTC

Severity: normal

Tags: patch

Done: jgart <jgart <at> dismail.de>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 75251 in the body.
You can then email your comments to 75251 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#75251; Package guix-patches. (Wed, 01 Jan 2025 19:08:05 GMT) Full text and rfc822 format available.
Acknowledgement sent to jgart <jgart <at> dismail.de>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Wed, 01 Jan 2025 19:08:05 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: jgart <jgart <at> dismail.de>
To: guix-patches <at> gnu.org
Cc: jgart <jgart <at> dismail.de>
Subject: [PATCH 04/71] gnu: clingo: Rename clasp to potassco-clasp.
Date: Wed,  1 Jan 2025 13:03:41 -0600

* 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
Reply sent to jgart <jgart <at> dismail.de>:
You have taken responsibility. (Thu, 09 Jan 2025 21:11:01 GMT) Full text and rfc822 format available.
Notification sent to jgart <jgart <at> dismail.de>:
bug acknowledged by developer. (Thu, 09 Jan 2025 21:11:02 GMT) Full text and rfc822 format available.

Message #10 received at 75251-done <at> debbugs.gnu.org (full text, mbox):

From: jgart <jgart <at> dismail.de>
To: 75251-done <at> debbugs.gnu.org
Cc: jgart <jgart <at> dismail.de>
Subject: Re: [PATCH 04/71] gnu: clingo: Rename clasp to potassco-clasp.
Date: Thu, 09 Jan 2025 15:10:47 -0600

> * 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
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Fri, 07 Feb 2025 12:24:12 GMT) Full text and rfc822 format available.
This bug report was last modified 188 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.