jgart pushed a commit to branch lisp-team-asdf-build-system-clasp in repository guix.
commit 7bc2fb1f4250df9934616063f4de1f38927525e6 Author: jgart <[email protected]> AuthorDate: Tue Dec 31 02:00:12 2024 -0600 gnu: clingo: Rename clasp to potassco-clasp. * 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 @@ satisfiability checking (SAT).") (("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
