[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
07/15: gnu: clingo-dl: Update to 1.5.0.
From: |
guix-commits |
Subject: |
07/15: gnu: clingo-dl: Update to 1.5.0. |
Date: |
Sat, 2 Mar 2024 02:06:46 -0500 (EST) |
lilyp pushed a commit to branch master
in repository guix.
commit 0036a1eaa54233a00871592ff9489aceaea3fe00
Author: Liliana Marie Prikler <liliana.prikler@gmail.com>
AuthorDate: Sat Feb 24 08:55:41 2024 +0100
gnu: clingo-dl: Update to 1.5.0.
* gnu/packages/potassco.scm (clingo-dl): Update to 1.5.0.
---
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 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")))
- branch master updated (9038a46751 -> 4a0549be52), guix-commits, 2024/03/02
- 15/15: gnu: Add theft., guix-commits, 2024/03/02
- 09/15: gnu: python-clingo-dl: Fix build., guix-commits, 2024/03/02
- 03/15: gnu: libpotassco: Update to 0.0-2.69b677f., guix-commits, 2024/03/02
- 12/15: gnu: python-telingo: Update to 2.1.3., guix-commits, 2024/03/02
- 02/15: gnu: python-scikit-build: Install cmake modules., guix-commits, 2024/03/02
- 06/15: gnu: clingo: Build from actual sources., guix-commits, 2024/03/02
- 07/15: gnu: clingo-dl: Update to 1.5.0.,
guix-commits <=
- 05/15: gnu: clingo: Update to 5.7.1., guix-commits, 2024/03/02
- 01/15: gnu: Add wide-integer., guix-commits, 2024/03/02
- 04/15: gnu: clasp: Update to 3.3.10., guix-commits, 2024/03/02
- 10/15: gnu: python-clorm: Update to 1.5.0., guix-commits, 2024/03/02
- 08/15: gnu: python-clingo: Fix build., guix-commits, 2024/03/02
- 14/15: gnu: Add greatest., guix-commits, 2024/03/02
- 13/15: gnu: python-scikit-build: Add more non-deterministic test failures., guix-commits, 2024/03/02
- 11/15: gnu: python-plingo: Update to 1.1.0., guix-commits, 2024/03/02