nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gnu: mcrl2: Update to 201908.0. 

* gnu/packages/maths.scm (mcrl2): Update to 201908.0.
This commit is contained in:
Jan Nieuwenhuizen 2019-09-30 21:26:19 +02:00
parent 2d03201aab
commit 3bc74090d9
No known key found for this signature in database
GPG Key ID: F3C1A0D9C1D65273
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
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 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2017, 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr>
;;; Copyright © 2017 Dave Love <me@fx@gnu.org> ;;; 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 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>
@ -4306,7 +4306,7 @@ reduction.")
(define-public mcrl2 (define-public mcrl2
(package (package
(name "mcrl2") (name "mcrl2")
(version "201707.1.15162") (version "201908.0")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append "http://www.mcrl2.org/download/devel/mcrl2-" (uri (string-append "http://www.mcrl2.org/download/devel/mcrl2-"
@ -4314,9 +4314,7 @@ reduction.")
".tar.gz")) ".tar.gz"))
(sha256 (sha256
(base32 (base32
"1ziww2fchsklm25hl9p2mngssxfh9w07nc114cncqaxfibqp2p8f")))) "1i4xgl2d5fgiz1mwi50cyfkrrcpm8nxfayfjgmhq7chs58wlhfsz"))))
(native-inputs
`(("subversion" ,subversion)))
(inputs (inputs
`(("boost" ,boost) `(("boost" ,boost)
("glu" ,glu) ("glu" ,glu)