Merge branch 'staging' into core-updates

This commit is contained in:
Marius Bakke 2020-02-03 15:45:44 +01:00
commit 52665d2b6b
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA
137 changed files with 7548 additions and 2027 deletions

View file

@ -86,7 +86,7 @@ manner. It also features an interactive interpreter.")
(define-public swi-prolog
(package
(name "swi-prolog")
(version "8.1.20")
(version "8.1.21")
(source (origin
(method git-fetch)
(uri (git-reference
@ -96,7 +96,7 @@ manner. It also features an interactive interpreter.")
(file-name (git-file-name name version))
(sha256
(base32
"0blpw5g0gszi83wmvyhlh7pk4wlyx00vgaj6qr3ris36cdl8j10a"))))
"1axdiz37dllw0ih58ffm0m95dfxqfzwahl48hpzq90rz4swcr1lq"))))
(build-system cmake-build-system)
(arguments
`(#:parallel-build? #t