Merge remote-tracking branch 'origin/master' into wip-texlive

This commit is contained in:
Ricardo Wurmus 2019-08-06 10:07:36 +02:00
commit 378d94e51b
No known key found for this signature in database
GPG key ID: 197A5888235FACAC
107 changed files with 5177 additions and 1444 deletions

View file

@ -344,7 +344,7 @@ precision.")
(define-public giac
(package
(name "giac")
(version "1.5.0-61")
(version "1.5.0-63")
(source (origin
(method url-fetch)
;; "~parisse/giac" is not used because the maintainer regularly
@ -356,7 +356,7 @@ precision.")
"source/giac_" version ".tar.gz"))
(sha256
(base32
"050vzpqq77fhky32sbisc0ysimgp60xjv39q7y45jkaabdkmclwh"))))
"1jp7awyp8j8w6fhn802z8ddbq1fxhkyk9xdf0mq0mm0chpkylwqk"))))
(build-system gnu-build-system)
(arguments
`(#:modules ((ice-9 ftw)