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

Previous Next

Full log

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

Previous Next

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