diff options
author | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2022-06-27 18:35:27 +0200 |
---|---|---|
committer | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2022-07-01 15:45:37 +0200 |
commit | 36a0ec9e784b74478f740474e7c3b8138372c3c3 (patch) | |
tree | e7602ec1a8f8b5a5a273b7376bf447ce0ab9dfa1 /gnu/packages/maths.scm | |
parent | 81cf674a5d5e3dc020df5d43ce62e1c98f2c9711 (diff) | |
download | guix-patches-36a0ec9e784b74478f740474e7c3b8138372c3c3.tar guix-patches-36a0ec9e784b74478f740474e7c3b8138372c3c3.tar.gz |
gnu: mcrl2: Update to 202206.0.
* gnu/packages/patches/mcrl2-fix-1687.patch,
gnu/packages/patches/mcrl2-fix-counterexample.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/maths.scm (mcrl2): Update to 202206.0 and use them.
Diffstat (limited to 'gnu/packages/maths.scm')
-rw-r--r-- | gnu/packages/maths.scm | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 8268b8954e..e84697c63b 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -22,7 +22,7 @@ ;;; Copyright © 2017, 2019, 2022 Arun Isaac <arunisaac@systemreboot.net> ;;; Copyright © 2017–2021 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2017 Dave Love <me@fx@gnu.org> -;;; Copyright © 2018, 2019, 2020, 2021 Jan (janneke) Nieuwenhuizen <janneke@gnu.org> +;;; Copyright © 2018, 2019, 2020, 2021, 2022 Jan (janneke) Nieuwenhuizen <janneke@gnu.org> ;;; Copyright © 2018 Joshua Sierles, Nextjournal <joshua@nextjournal.com> ;;; Copyright © 2018 Nadya Voronova <voronovank@gmail.com> ;;; Copyright © 2018 Adam Massmann <massmannak@gmail.com> @@ -6089,15 +6089,17 @@ reduction.") (define-public mcrl2 (package (name "mcrl2") - (version "202106.0") + (version "202206.0") (source (origin (method url-fetch) (uri (string-append "https://www.mcrl2.org/download/release/mcrl2-" version ".tar.gz")) + (patches (search-patches "mcrl2-fix-1687.patch" + "mcrl2-fix-counterexample.patch")) (sha256 (base32 - "1xgx3cd57vc7gbjic24j1q2za6j3ybz6nk4afvvpbwsf33xnlf4v")))) + "0alpck09pbvwk4axqmrvcjmsabsn20yayq5b3apq284n0hcbf01q")))) (inputs (list boost glu mesa qtbase-5)) (build-system cmake-build-system) |