From 16e3f8d90a424abf17be94d7ae216d9feb932e8a Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Thu, 7 Oct 2021 12:52:44 +0200
Subject: 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(-)

(limited to 'gnu')

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 164924b6af..95ce13f312 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)
-- 
cgit 1.4.1