Merge branch 'master' into core-updates

This commit is contained in:
Ludovic Courtès 2019-10-01 11:49:17 +02:00
commit 0cf2b6f2db
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5
43 changed files with 642 additions and 343 deletions

View file

@ -248,7 +248,7 @@ intuitive syntax and trivial integration.")
(define-public xtl
(package
(name "xtl")
(version "0.6.4")
(version "0.6.7")
(source (origin
(method git-fetch)
(uri
@ -257,7 +257,7 @@ intuitive syntax and trivial integration.")
(commit version)))
(sha256
(base32
"0rwdw43fq7c581m6frzsd06h71sf7abk7danwa3cp6wd6cgkwdbk"))
"0dds2fzyis42b1c3biqr3ir9l96csyyfkwrkm3fqjksdhgdklzmj"))
(file-name (git-file-name name version))))
(native-inputs
`(("googletest" ,googletest)