me
/
guix
Archived
1
0
Fork 0
Code

gnu: mcrl2: Update to 202307.1. 

* gnu/packages/maths.scm (mcrl2): Update to 202307.1.

Change-Id: I6fe73c964336654a2f29df398c7f710db73f2637
master
Janneke Nieuwenhuizen 2024-08-01 08:17:32 +02:00
parent 01d4363168
commit 918b7d102c
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, 2022 Arun Isaac <arunisaac@systemreboot.net> ;;; Copyright © 2017, 2019, 2022 Arun Isaac <arunisaac@systemreboot.net>
;;; Copyright © 2017–2021 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2017–2021 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, 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 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>
@ -7915,7 +7915,7 @@ reduction.")
(define-public mcrl2 (define-public mcrl2
(package (package
(name "mcrl2") (name "mcrl2")
(version "202206.1") (version "202307.1")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append (uri (string-append
@ -7923,7 +7923,7 @@ reduction.")
version ".tar.gz")) version ".tar.gz"))
(sha256 (sha256
(base32 (base32
"1rbfyw47bi31qla1sa4fd1npryb5kbdr0vijmdc2gg1zhpqfv0ia")))) "147002dl3gq2jsk5gcmvw7hj3mfxrpgxwcfda5mfrj26rcxw48fc"))))
(inputs (inputs
(list boost glu mesa qtbase-5)) (list boost glu mesa qtbase-5))
(build-system cmake-build-system) (build-system cmake-build-system)