gnu: mercury: Update to 20.06.1.

* gnu/packages/mercury.scm (mercury): Update to 20.06.1.

diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm
index 5e0e90d..5a2c85a 100644 (file)
--- 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)