diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2025-05-10 09:06:18 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2025-05-17 13:22:28 +0200 |
| commit | 37c19dc2310eefd8b799394f85bfdc6e3ca5a5cf (patch) | |
| tree | 31cfb1e5fba04e9a86b4998c55d32c50bfe0a377 /gnu/packages/potassco.scm | |
| parent | f022a1cccd4d585464e7b0ee7602a4b098b24a89 (diff) | |
gnu: clasp: Update to 3.4.0.
* gnu/packages/potassco.scm (clasp): Update to 3.4.0.
Diffstat (limited to 'gnu/packages/potassco.scm')
| -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 edc7ac6d66d..282b15a2329 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm | |||
| @@ -106,7 +106,7 @@ between aspif and smodels format or to a human-readable text format.") | |||
| 106 | (define-public clasp | 106 | (define-public clasp |
| 107 | (package | 107 | (package |
| 108 | (name "clasp") | 108 | (name "clasp") |
| 109 | (version "3.3.10") | 109 | (version "3.4.0") |
| 110 | (source (origin | 110 | (source (origin |
| 111 | (method git-fetch) | 111 | (method git-fetch) |
| 112 | (uri (git-reference | 112 | (uri (git-reference |
| @@ -116,7 +116,7 @@ between aspif and smodels format or to a human-readable text format.") | |||
| 116 | (patches (search-patches "clasp-hide-event-ids.patch")) | 116 | (patches (search-patches "clasp-hide-event-ids.patch")) |
| 117 | (sha256 | 117 | (sha256 |
| 118 | (base32 | 118 | (base32 |
| 119 | "0qap7rar8a5mkqz28n2hnvr4cfv5x0rh4zs3wdp919dw4d034chr")))) | 119 | "0sid9wks19h5slrpkm8qw0gsxlyq1g2vf4aznqapr777rws9d9b6")))) |
| 120 | (build-system cmake-build-system) | 120 | (build-system cmake-build-system) |
| 121 | (arguments | 121 | (arguments |
| 122 | `(#:configure-flags '("-DCLASP_BUILD_TESTS=on" | 122 | `(#:configure-flags '("-DCLASP_BUILD_TESTS=on" |