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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: jgart <jgart <at> dismail.de>
Subject: bug#75251: closed (Re: [PATCH 04/71] gnu: clingo: Rename clasp to
 potassco-clasp.)
Date: Thu, 09 Jan 2025 21:11:02 +0000

[Message part 1 (text/plain, inline)]

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.

-- 
75251: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=75251
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

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

[Message part 3 (message/rfc822, inline)]

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

Previous Next

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