gnu: mcrl2: Update hash of modified-in-place tarball.

Fixes <https://issues.guix.gnu.org/51074>. * gnu/packages/maths.scm (mcrl2)[source]: Update hash.
2021-10-07 12:52:44 +02:00 · 2021-10-07 12:52:44 +02:00 · 16e3f8d90a
parent 944bd79113
commit 16e3f8d90a
1 changed files with 1 additions and 1 deletions
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@ -5776,7 +5776,7 @@ (define-public mcrl2
                    version ".tar.gz"))
              (sha256
               (base32
-                "0db9wgy9spwm76mgfisnifrlg69y9cadjgxjr4gdwzfgg6wgqf6d"))))
+                "1xgx3cd57vc7gbjic24j1q2za6j3ybz6nk4afvvpbwsf33xnlf4v"))))
    (inputs
     `(("boost" ,boost)
       ("glu" ,glu)