diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-02-24 08:55:41 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-03-02 08:00:14 +0100 |
| commit | 0036a1eaa54233a00871592ff9489aceaea3fe00 (patch) | |
| tree | 83d84f47df1e62aabdce2b2f959250322aefa41f /gnu | |
| parent | b3e363024a0e64196072a620459970f3e221239c (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.scm | 4 |
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"))) |