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

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit 16e3f8d90a424abf17be94d7ae216d9feb932e8a
Author: Ludovic Courtès <l...@gnu.org>
AuthorDate: Thu Oct 7 12:52:44 2021 +0200

    gnu: mcrl2: Update hash of modified-in-place tarball.
    
    Fixes <https://issues.guix.gnu.org/51074>.
    
    * gnu/packages/maths.scm (mcrl2)[source]: Update hash.
---
 gnu/packages/maths.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 164924b..95ce13f 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -5776,7 +5776,7 @@ reduction.")
                     version ".tar.gz"))
               (sha256
                (base32
-                "0db9wgy9spwm76mgfisnifrlg69y9cadjgxjr4gdwzfgg6wgqf6d"))))
+                "1xgx3cd57vc7gbjic24j1q2za6j3ybz6nk4afvvpbwsf33xnlf4v"))))
     (inputs
      `(("boost" ,boost)
        ("glu" ,glu)