Subject: [PATCH 04/64] gnu: clingo: Rename clasp to potassco-clasp.

From: jgart <[email-masked]>
Date: Tue, 31 Dec 2024 03:02:25 -0600

* gnu/packages/potassco.scm (clasp): Rename clasp to potassco-clasp.

Change-Id: Icfe32aae31c3abe655a909d3edf28306eb51f293
---
 gnu/packages/potassco.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 09acf0f442..17b6b96fb3 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -203,7 +203,7 @@ (define-public clingo
                 (("find_package\\(Clasp") "find_package(clasp"))
               (rename-file "cmake/ClingoConfig.cmake.in"
                            "cmake/clingo-config.cmake.in"))))))
-    (inputs (list catch2-3 clasp libpotassco))
+    (inputs (list catch2-3 potassco-clasp libpotassco))
     (native-inputs (list bison re2c
                          mpark-variant
                          pkg-config
-- 
2.47.1