[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
04/71: gnu: clingo: Rename clasp to potassco-clasp.
From: |
guix-commits |
Subject: |
04/71: gnu: clingo: Rename clasp to potassco-clasp. |
Date: |
Wed, 1 Jan 2025 20:28:14 -0500 (EST) |
jgart pushed a commit to branch lisp-team-asdf-build-system-clasp
in repository guix.
commit 49fc1490554d04db7d6beda4a3c8841465149a61
Author: jgart <jgart@dismail.de>
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
- 50/71: gnu: Add clasp-ptester., (continued)
- 50/71: gnu: Add clasp-ptester., guix-commits, 2025/01/01
- 41/71: gnu: Add clasp-periodic-table., guix-commits, 2025/01/01
- 53/71: gnu: Add clasp-trivial-types., guix-commits, 2025/01/01
- 40/71: gnu: Add clasp-make-hash., guix-commits, 2025/01/01
- 57/71: gnu: Add clasp-unix-opts., guix-commits, 2025/01/01
- 54/71: gnu: Add clasp-named-readtables., guix-commits, 2025/01/01
- 60/71: gnu: Add clasp-vom., guix-commits, 2025/01/01
- 66/71: gnu: Add clasp-enhanced-find-class., guix-commits, 2025/01/01
- 69/71: gnu: Add clasp-enhanced-typep., guix-commits, 2025/01/01
- 70/71: gnu: Add clasp-lambda-fiddle., guix-commits, 2025/01/01
- 04/71: gnu: clingo: Rename clasp to potassco-clasp.,
guix-commits <=
- 10/71: gnu: Add clasp-stealth-mixin., guix-commits, 2025/01/01
- 13/71: gnu: Add clasp-flexi-streams., guix-commits, 2025/01/01
- 12/71: gnu: Add clasp-flexichain., guix-commits, 2025/01/01
- 19/71: gnu: Add clasp-binding-arrows., guix-commits, 2025/01/01
- 28/71: gnu: Add clasp-trivial-custom-debugger., guix-commits, 2025/01/01
- 56/71: gnu: Add clasp-language-codes., guix-commits, 2025/01/01
- 58/71: gnu: Add clasp-utf8-input-stream., guix-commits, 2025/01/01
- 64/71: gnu: Add clasp-py-configparser., guix-commits, 2025/01/01
- 68/71: gnu: Add clasp-enhanced-boolean., guix-commits, 2025/01/01
- 49/71: gnu: Add clasp-lisp-critic., guix-commits, 2025/01/01