mirror/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2025-02-10 13:40:20 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: mcrl2: Update to 202006.0.

Browse source 
* gnu/packages/maths.scm (mcrl2): Update to 202006.0.
This commit is contained in:
Jan (janneke) Nieuwenhuizen 2020-08-04 15:21:22 +02:00
parent 285bd00cd4
commit abe3c5ed7d
No known key found for this signature in database
GPG key ID: F3C1A0D9C1D65273
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gnu/packages/maths.scm
View file

@ -22,7 +22,7 @@
;;; Copyright © 2017, 2019 Arun Isaac <arunisaac@systemreboot.net> ;;; Copyright © 2017, 2019 Arun Isaac <arunisaac@systemreboot.net>
;;; Copyright © 2017, 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2017, 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr>
;;; Copyright © 2017 Dave Love <me@fx@gnu.org> ;;; 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 Joshua Sierles, Nextjournal <joshua@nextjournal.com>
;;; Copyright © 2018 Nadya Voronova <voronovank@gmail.com> ;;; Copyright © 2018 Nadya Voronova <voronovank@gmail.com>
;;; Copyright © 2018 Adam Massmann <massmannak@gmail.com> ;;; Copyright © 2018 Adam Massmann <massmannak@gmail.com>
@ -4698,7 +4698,7 @@ reduction.")
(define-public mcrl2 (define-public mcrl2
(package (package
(name "mcrl2") (name "mcrl2")
(version "201908.0") (version "202006.0")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append (uri (string-append
@ -4706,7 +4706,7 @@ reduction.")
version ".tar.gz")) version ".tar.gz"))
(sha256 (sha256
(base32 (base32
"1i4xgl2d5fgiz1mwi50cyfkrrcpm8nxfayfjgmhq7chs58wlhfsz")))) "167ryrzk1a2j53c2j198jlxa98amcaym070gkcj730619gymv5zl"))))
(inputs (inputs
`(("boost" ,boost) `(("boost" ,boost)
("glu" ,glu) ("glu" ,glu)