diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2025-05-10 09:06:26 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2025-05-17 13:22:28 +0200 |
| commit | 9f3d8dbda60bb1dd15d2956c334354947df8b3f5 (patch) | |
| tree | f0efcdace42d8bff6a02de52bfdc023edda4329d | |
| parent | 37c19dc2310eefd8b799394f85bfdc6e3ca5a5cf (diff) | |
| download | guix-9f3d8dbda60bb1dd15d2956c334354947df8b3f5.tar.gz guix-9f3d8dbda60bb1dd15d2956c334354947df8b3f5.zip | |
gnu: clingo: Update to 5.8.0.
* gnu/packages/potassco.scm (clingo): Update to 5.8.0.
| -rw-r--r-- | gnu/packages/potassco.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 282b15a232..9c6f42bdec 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.7.1") + (version "5.8.0") (source (origin (method git-fetch) (uri (git-reference @@ -166,7 +166,7 @@ satisfiability checking (SAT).") (delete-file "libpyclingo/_clingo.c"))) (sha256 (base32 - "1mxl3gwx55sf2ifcb92mfy989c50yqpnq0d0r2mxdqr0riy40hjb")))) + "08jpjz2fgq59d78xpwq03dxrdcxwzf5z6crqwn6qdarb0wcdc5sn")))) (build-system cmake-build-system) (arguments (list |