guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: guix-commits
Subject: 04/08: gnu: mcrl2: Update hash of modified-in-place tarball.
Date: Thu, 7 Oct 2021 09:20:35 -0400 (EDT)

civodul pushed a commit to branch master
in repository guix.

commit 16e3f8d90a424abf17be94d7ae216d9feb932e8a
Author: Ludovic Courtès <ludo@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)



reply via email to

[Prev in Thread] Current Thread [Next in Thread]