diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-02-24 08:52:40 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-03-02 08:00:13 +0100 |
| commit | 9aabeb11a0ce5d4af9a48f9f81229a956bcb7b48 (patch) | |
| tree | d73f04546127076bffd0d322ae27d4042f6ad609 /gnu | |
| parent | ba91a7ae604403a7e52eb088c9a7174ba7fe7265 (diff) | |
gnu: clasp: Update to 3.3.10.
* gnu/packages/potassco.scm (clasp): Update to 3.3.10.
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 01cada7b77..05d5a3b754 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -103,7 +103,7 @@ between aspif and smodels format or to a human-readable text format.") (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 @@ between aspif and smodels format or to a human-readable text format.") (file-name (git-file-name name version)) (sha256 (base32 - "163ps9zq7xppqy9hj5qnw6z5lcjnm4xf5fwjsavpia5ynm3hngcw")))) + "0qap7rar8a5mkqz28n2hnvr4cfv5x0rh4zs3wdp919dw4d034chr")))) (build-system cmake-build-system) (arguments `(#:configure-flags '("-DCLASP_BUILD_TESTS=on" |