GNU bug report logs - #75250
[PATCH 03/71] gnu: clasp: Rename variable.

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>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#75250: closed ([PATCH 03/71] gnu: clasp: Rename variable.)
Date: Thu, 09 Jan 2025 20:56:03 +0000

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

Your message dated Thu, 09 Jan 2025 14:54:54 -0600
with message-id <875xmn6735.fsf <at> dismail.de>
and subject line Re: [PATCH 03/71] gnu: clasp: Rename variable.
has caused the debbugs.gnu.org bug report #75250,
regarding [PATCH 03/71] gnu: clasp: Rename variable.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
75250: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=75250
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: guix-patches <at> gnu.org
Cc: jgart <jgart <at> dismail.de>
Subject: [PATCH 03/71] gnu: clasp: Rename variable.
Date: Wed,  1 Jan 2025 13:03:40 -0600

* 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

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

From: jgart <jgart <at> dismail.de>
To: 75250-done <at> debbugs.gnu.org
Cc: jgart <jgart <at> dismail.de>
Subject: Re: [PATCH 03/71] gnu: clasp: Rename variable.
Date: Thu, 09 Jan 2025 14:54:54 -0600

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

Previous Next

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