diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-08-01 08:17:32 +0200 |
|---|---|---|
| committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-08-01 09:10:25 +0200 |
| commit | 918b7d102c2051c3d6c6ba54c8d265affec5282c (patch) | |
| tree | d282629863009361d457afd696557329c41f3c09 | |
| parent | 01d4363168ed10ea223047f7a7b83201f161ec0b (diff) | |
| download | guix-918b7d102c2051c3d6c6ba54c8d265affec5282c.tar guix-918b7d102c2051c3d6c6ba54c8d265affec5282c.tar.gz | |
gnu: mcrl2: Update to 202307.1.
* gnu/packages/maths.scm (mcrl2): Update to 202307.1.
Change-Id: I6fe73c964336654a2f29df398c7f710db73f2637
| -rw-r--r-- | gnu/packages/maths.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index e4c13a13bd..e3bb14a3c2 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, 2022 Jan (janneke) Nieuwenhuizen <janneke@gnu.org> +;;; Copyright © 2018, 2019, 2020, 2021, 2022, 2024 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> @@ -7915,7 +7915,7 @@ reduction.") (define-public mcrl2 (package (name "mcrl2") - (version "202206.1") + (version "202307.1") (source (origin (method url-fetch) (uri (string-append @@ -7923,7 +7923,7 @@ reduction.") version ".tar.gz")) (sha256 (base32 - "1rbfyw47bi31qla1sa4fd1npryb5kbdr0vijmdc2gg1zhpqfv0ia")))) + "147002dl3gq2jsk5gcmvw7hj3mfxrpgxwcfda5mfrj26rcxw48fc")))) (inputs (list boost glu mesa qtbase-5)) (build-system cmake-build-system) |