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

From: jgart <[email-masked]>
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