This is an automated email from the git hooks/post-receive script.
janneke pushed a commit to branch master
in repository guix.
The following commit(s) were added to refs/heads/master by this push:
new 918b7d102c gnu: mcrl2: Update to 202307.1.
918b7d102c is described below
commit 918b7d102c2051c3d6c6ba54c8d265affec5282c
Author: Janneke Nieuwenhuizen <[email protected]>
AuthorDate: Thu Aug 1 08:17:32 2024 +0200
gnu: mcrl2: Update to 202307.1.
* gnu/packages/maths.scm (mcrl2): Update to 202307.1.
Change-Id: I6fe73c964336654a2f29df398c7f710db73f2637
---
gnu/packages/maths.scm | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index e4c13a13bd..e3bb14a3c2 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -22,7 +22,7 @@
;;; Copyright © 2017, 2019, 2022 Arun Isaac <[email protected]>
;;; Copyright © 2017–2021 Tobias Geerinckx-Rice <[email protected]>
;;; Copyright © 2017 Dave Love <me@[email protected]>
-;;; Copyright © 2018, 2019, 2020, 2021, 2022 Jan (janneke) Nieuwenhuizen
<[email protected]>
+;;; Copyright © 2018, 2019, 2020, 2021, 2022, 2024 Janneke Nieuwenhuizen
<[email protected]>
;;; Copyright © 2018 Joshua Sierles, Nextjournal <[email protected]>
;;; Copyright © 2018 Nadya Voronova <[email protected]>
;;; Copyright © 2018 Adam Massmann <[email protected]>
@@ -7915,7 +7915,7 @@ reduction.")
(define-public mcrl2
(package
(name "mcrl2")
- (version "202206.1")
+ (version "202307.1")
(source (origin
(method url-fetch)
(uri (string-append
@@ -7923,7 +7923,7 @@ reduction.")
version ".tar.gz"))
(sha256
(base32
- "1rbfyw47bi31qla1sa4fd1npryb5kbdr0vijmdc2gg1zhpqfv0ia"))))
+ "147002dl3gq2jsk5gcmvw7hj3mfxrpgxwcfda5mfrj26rcxw48fc"))))
(inputs
(list boost glu mesa qtbase-5))
(build-system cmake-build-system)
