guix_mirror_bot pushed a commit to branch master
in repository guix.
commit 072c0f46ce4caa9010b43c49742c7d79665bdcab
Author: Liliana Marie Prikler <[email protected]>
AuthorDate: Thu Aug 20 15:34:28 2026 +0200
gnu: clingo: Update to 5.8.2.
* gnu/packages/potassco.scm (clingo): Update to 5.8.2.
---
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 a8da4a28ad..9bfd64b245 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -150,7 +150,7 @@ satisfiability checking (SAT).")
(define-public clingo
(package
(name "clingo")
- (version "5.8.0")
+ (version "5.8.2")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -166,7 +166,7 @@ satisfiability checking (SAT).")
(delete-file "libpyclingo/_clingo.c")))
(sha256
(base32
- "08jpjz2fgq59d78xpwq03dxrdcxwzf5z6crqwn6qdarb0wcdc5sn"))))
+ "1ygzcqb66nr875cw14hkh9r768nchr5iwwzxqpqivz6fvhlwmzci"))))
(build-system cmake-build-system)
(arguments
(list
