ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-07 07:26:13 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: scasp: Update to 1.1.4.

Browse source 
* gnu/packages/maths.scm (scasp): Update to 1.1.4.
This commit is contained in:
Liliana Marie Prikler 2024-09-25 21:03:03 +02:00
parent a873666d3b
commit a77f280b34
No known key found for this signature in database
GPG key ID: 442A84B8C70E2F87
1 changed files with 30 additions and 32 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
gnu/packages/maths.scm
View file

@ -2948,20 +2948,18 @@ (define-public libflame
(license license:bsd-3))))
(define-public scasp
(let ((commit "89a427aa04ec6346425a40111c99b310901ffe51")
(revision "1"))
(package
(name "scasp")
(version (git-version "0.21.11.26" revision commit))
(version "1.1.4")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/SWI-Prolog/sCASP")
(commit commit)))
(commit (string-append "V" version))))
(file-name (git-file-name name version))
(sha256
(base32
"1ijqv9xr3imrdmz6nq7zqwsmmaxn638icig19m8900m7mjfpizs4"))))
"1m4fs1ywich9cwj55miqp5zxs7c1fw9wvy7lcj5rkrgcanks5qk4"))))
(build-system copy-build-system)
(arguments
(list
@ -2980,7 +2978,7 @@ (define-public scasp
(synopsis "Interpreter for ASP programs with constraints")
(description "@code{s(CASP)} is a top-down interpreter for ASP programs
with constraints.")
(license license:asl2.0))))
(license license:asl2.0)))
(define-public ceres
(package