diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-09-30 21:26:19 +0200 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-09-30 21:26:19 +0200 |
| commit | 3bc74090d9b583d0bb30a8d79e33abd3c929092f (patch) | |
| tree | ebc36e7de136077fee4b63557b3295a6b88609ab /gnu | |
| parent | 2d03201aab6d04d0b7481e3271c1d819f8833ebe (diff) | |
| download | patches-3bc74090d9b583d0bb30a8d79e33abd3c929092f.tar patches-3bc74090d9b583d0bb30a8d79e33abd3c929092f.tar.gz | |
gnu: mcrl2: Update to 201908.0.
* gnu/packages/maths.scm (mcrl2): Update to 201908.0.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/maths.scm | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index ffb2f87836..4be69fe030 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 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2017 Dave Love <me@fx@gnu.org> -;;; Copyright © 2018 Jan Nieuwenhuizen <janneke@gnu.org> +;;; Copyright © 2018, 2019 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> @@ -4306,7 +4306,7 @@ reduction.") (define-public mcrl2 (package (name "mcrl2") - (version "201707.1.15162") + (version "201908.0") (source (origin (method url-fetch) (uri (string-append "http://www.mcrl2.org/download/devel/mcrl2-" @@ -4314,9 +4314,7 @@ reduction.") ".tar.gz")) (sha256 (base32 - "1ziww2fchsklm25hl9p2mngssxfh9w07nc114cncqaxfibqp2p8f")))) - (native-inputs - `(("subversion" ,subversion))) + "1i4xgl2d5fgiz1mwi50cyfkrrcpm8nxfayfjgmhq7chs58wlhfsz")))) (inputs `(("boost" ,boost) ("glu" ,glu) |