[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#69352] [PATCH 04/13] gnu: clasp: Update to 3.3.10.
From: |
Liliana Marie Prikler |
Subject: |
[bug#69352] [PATCH 04/13] gnu: clasp: Update to 3.3.10. |
Date: |
Sat, 24 Feb 2024 08:52:40 +0100 |
* gnu/packages/potassco.scm (clasp): Update to 3.3.10.
---
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 01cada7b77..05d5a3b754 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -103,7 +103,7 @@ (define-public libpotassco
(define-public clasp
(package
(name "clasp")
- (version "3.3.9")
+ (version "3.3.10")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -112,7 +112,7 @@ (define-public clasp
(file-name (git-file-name name version))
(sha256
(base32
- "163ps9zq7xppqy9hj5qnw6z5lcjnm4xf5fwjsavpia5ynm3hngcw"))))
+ "0qap7rar8a5mkqz28n2hnvr4cfv5x0rh4zs3wdp919dw4d034chr"))))
(build-system cmake-build-system)
(arguments
`(#:configure-flags '("-DCLASP_BUILD_TESTS=on"
--
2.41.0
- [bug#69352] [PATCH 00/13] Update Clingo to 5.7.1, etc pp, Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 02/13] gnu: python-scikit-build: Install cmake modules., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 06/13] gnu: clingo: Build from actual sources., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 08/13] gnu: python-clingo: Fix build., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 03/13] gnu: libpotassco: Update to 0.0-2.69b677f., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 01/13] gnu: Add wide-integer., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 04/13] gnu: clasp: Update to 3.3.10.,
Liliana Marie Prikler <=
- [bug#69352] [PATCH 11/13] gnu: python-plingo: Update to 1.1.0., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 05/13] gnu: clingo: Update to 5.7.1., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 12/13] gnu: python-telingo: Update to 2.1.3., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH OPTIONAL 13/13] gnu: python: python-scikit-build: Add more non-deterministic test failures., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 09/13] gnu: python-clingo-dl: Fix build., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 07/13] gnu: clingo-dl: Update to 1.5.0., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 10/13] gnu: python-clorm: Update to 1.5.0., Liliana Marie Prikler, 2024/02/24