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

Previous Next

Full log

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

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.