summaryrefslogtreecommitdiff
path: root/gnu/packages/mercury.scm
diff options
context:
space:
mode:
authorBrett Gilio <brettg@gnu.org>2020-11-25 16:40:29 -0600
committerBrett Gilio <brettg@gnu.org>2020-11-25 16:40:29 -0600
commit8b928a3931cafddb291152bc259b634ab3ab441b (patch)
tree5d0fd35cef4ebf8436e713b24780cb2c2728aba3 /gnu/packages/mercury.scm
parent4b4fa892cb0fbb98af4606c7a1d55aa09d3eb715 (diff)
downloadguix-patches-8b928a3931cafddb291152bc259b634ab3ab441b.tar
guix-patches-8b928a3931cafddb291152bc259b634ab3ab441b.tar.gz
gnu: mercury: Update to 20.06.1.
* gnu/packages/mercury.scm (mercury): Update to 20.06.1.
Diffstat (limited to 'gnu/packages/mercury.scm')
-rw-r--r--gnu/packages/mercury.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm
index 5e0e90db3b..5a2c85a79b 100644
--- a/gnu/packages/mercury.scm
+++ b/gnu/packages/mercury.scm
@@ -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)