Subject: bug#75250: closed (Re: [PATCH 03/71] gnu: clasp: Rename variable.)

From: [email-masked] (GNU bug Tracking System)
Date: Thu, 09 Jan 2025 20:56:03 +0000

Your bug report

#75250: [PATCH 03/71] gnu: clasp: Rename variable.

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 [email-masked].

-- 
75250: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=75250
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [PATCH 03/71] gnu: clasp: Rename variable.
From: jgart <[email-masked]>
To: [email-masked]
Cc: jgart <[email-masked]>
Date: Thu, 09 Jan 2025 14:54:54 -0600
List-Id: <debbugs-submit.debbugs.gnu.org>

> * 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

Subject: [PATCH 03/71] gnu: clasp: Rename variable.
From: jgart <[email-masked]>
To: [email-masked]
Cc: jgart <[email-masked]>
Date: Wed, 1 Jan 2025 13:03:40 -0600
List-Id: <debbugs-submit.debbugs.gnu.org>

* 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