me
/
guix
Archived
1
0
Fork 0
Code

gnu: clasp: Update to 3.3.9. 

* gnu/packages/maths.scm (clasp): Update to 3.3.9.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
master
jgart 2022-11-22 20:49:06 -06:00 committed by 宋文武
parent c4bbdaf2db
commit 148c75e75e
No known key found for this signature in database
GPG Key ID: D415BF253B515976
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gnu/packages/maths.scm
View File

@ -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"