summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorLiliana Marie Prikler <liliana.prikler@gmail.com>2024-02-24 08:55:41 +0100
committerLiliana Marie Prikler <liliana.prikler@gmail.com>2024-03-02 08:00:14 +0100
commit0036a1eaa54233a00871592ff9489aceaea3fe00 (patch)
tree83d84f47df1e62aabdce2b2f959250322aefa41f /gnu
parentb3e363024a0e64196072a620459970f3e221239c (diff)
gnu: clingo-dl: Update to 1.5.0.
* gnu/packages/potassco.scm (clingo-dl): Update to 1.5.0.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/potassco.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index fd049e2e73..5a59eeffef 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -233,7 +233,7 @@ satisfiability checking (SAT).")
(define-public clingo-dl
(package
(name "clingo-dl")
- (version "1.4.0")
+ (version "1.5.0")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -241,7 +241,7 @@ satisfiability checking (SAT).")
(commit (string-append "v" version))))
(file-name (git-file-name name version))
(sha256
- (base32 "0dncwj63vdm6958vb7355d5j9mdr7hm037j4z82yz6l77jg3sipw"))))
+ (base32 "0vf51pgwgiac801gr6w5pnxb6wa0kacz09ncrcn25w5siz17g4si"))))
(build-system cmake-build-system)
(arguments (list #:tests? #f ; no tests
#:configure-flags #~`("-DPYCLINGODL_ENABLE=off")))