gnu: mercury: Update to 20.06.1.
* gnu/packages/mercury.scm (mercury): Update to 20.06.1.
This commit is contained in:
parent
4b4fa892cb
commit
8b928a3931
@ -173,7 +173,7 @@ separate compilation, and numerous optimization/time trade-offs.")
|
||||
(define-public mercury
|
||||
(package (inherit mercury-minimal)
|
||||
(name "mercury")
|
||||
(version "20.06")
|
||||
(version "20.06.1")
|
||||
(source
|
||||
(origin
|
||||
(method git-fetch)
|
||||
@ -185,7 +185,7 @@ separate compilation, and numerous optimization/time trade-offs.")
|
||||
(file-name (git-file-name name version))
|
||||
(sha256
|
||||
(base32
|
||||
"1pc51r7vlqmi689rkwdkk1ka2dyk36q11dqvl339cizng6mp72h6"))))
|
||||
"1b6rmdinw8mj6n9sc7c75kkf42gd2k254rf51x4snlrqckxj7aaz"))))
|
||||
(arguments
|
||||
(substitute-keyword-arguments
|
||||
(package-arguments mercury-minimal)
|
||||
|
Loading…
Reference in New Issue
Block a user