diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-10-07 12:52:44 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-10-07 12:52:44 +0200 |
| commit | 16e3f8d90a424abf17be94d7ae216d9feb932e8a (patch) | |
| tree | cd39dcbbae33bfc74fbfd5fa256ac410df155ff5 /gnu/packages/maths.scm | |
| parent | 944bd79113b9c856b11dd2b40d40e0274a9f4dd9 (diff) | |
| download | guix-patches-16e3f8d90a424abf17be94d7ae216d9feb932e8a.tar guix-patches-16e3f8d90a424abf17be94d7ae216d9feb932e8a.tar.gz | |
gnu: mcrl2: Update hash of modified-in-place tarball.
Fixes <https://issues.guix.gnu.org/51074>.
* gnu/packages/maths.scm (mcrl2)[source]: Update hash.
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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) |