diff options
| author | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2020-08-04 15:21:22 +0200 |
|---|---|---|
| committer | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2020-08-04 17:02:09 +0200 |
| commit | abe3c5ed7d04985c987e6c81aeb1284354ea0c77 (patch) | |
| tree | d1f70052a1050f1cb52eb50c82c87daa419800db /gnu/packages/maths.scm | |
| parent | 285bd00cd4f94f933fd761d95c1b428f9a352356 (diff) | |
| download | guix-abe3c5ed7d04985c987e6c81aeb1284354ea0c77.tar guix-abe3c5ed7d04985c987e6c81aeb1284354ea0c77.tar.gz | |
gnu: mcrl2: Update to 202006.0.
* gnu/packages/maths.scm (mcrl2): Update to 202006.0.
Diffstat (limited to 'gnu/packages/maths.scm')
| -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 3991b2f88b..3a746bd712 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -22,7 +22,7 @@ ;;; Copyright © 2017, 2019 Arun Isaac <arunisaac@systemreboot.net> ;;; Copyright © 2017, 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2017 Dave Love <me@fx@gnu.org> -;;; Copyright © 2018, 2019 Jan Nieuwenhuizen <janneke@gnu.org> +;;; Copyright © 2018, 2019, 2020 Jan 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> @@ -4698,7 +4698,7 @@ reduction.") (define-public mcrl2 (package (name "mcrl2") - (version "201908.0") + (version "202006.0") (source (origin (method url-fetch) (uri (string-append @@ -4706,7 +4706,7 @@ reduction.") version ".tar.gz")) (sha256 (base32 - "1i4xgl2d5fgiz1mwi50cyfkrrcpm8nxfayfjgmhq7chs58wlhfsz")))) + "167ryrzk1a2j53c2j198jlxa98amcaym070gkcj730619gymv5zl")))) (inputs `(("boost" ,boost) ("glu" ,glu) |