diff options
| author | jgart <jgart@dismail.de> | 2022-11-22 20:49:06 -0600 |
|---|---|---|
| committer | 宋文武 <iyzsong@member.fsf.org> | 2022-11-24 14:08:54 +0800 |
| commit | 148c75e75e90d574a2c31c00ad24d1117512bd13 (patch) | |
| tree | 665bfc11c8935114ef289809a85ae638d518cd10 /gnu/packages/maths.scm | |
| parent | c4bbdaf2db4204eef2b174f8f565606b529d4abc (diff) | |
gnu: clasp: Update to 3.3.9.
* gnu/packages/maths.scm (clasp): Update to 3.3.9.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index cfe2dcbcf2..ebb3a8fbd1 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2542,7 +2542,7 @@ between aspif and smodels format or to a human-readable text format.") (define-public clasp (package (name "clasp") - (version "3.3.6") + (version "3.3.9") (source (origin (method git-fetch) (uri (git-reference @@ -2551,7 +2551,7 @@ between aspif and smodels format or to a human-readable text format.") (file-name (git-file-name name version)) (sha256 (base32 - "0rahqiq530jckvx717858h1q5p8znp1kb6sjm95p8blkr4n3pvmj")))) + "163ps9zq7xppqy9hj5qnw6z5lcjnm4xf5fwjsavpia5ynm3hngcw")))) (build-system cmake-build-system) (arguments `(#:configure-flags '("-DCLASP_BUILD_TESTS=on" |