[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch master updated: gnu: mcrl2: Update to 202106.0.
From: |
guix-commits |
Subject: |
branch master updated: gnu: mcrl2: Update to 202106.0. |
Date: |
Thu, 08 Jul 2021 03:52:27 -0400 |
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 9bd65f0 gnu: mcrl2: Update to 202106.0.
9bd65f0 is described below
commit 9bd65f05833fb2d1a28c25d431a82dd752046c09
Author: Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
AuthorDate: Thu Jul 8 09:49:38 2021 +0200
gnu: mcrl2: Update to 202106.0.
* gnu/packages/maths.scm (mcrl2): Update to 202106.0.
---
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 cd40e8e..b8e9a31 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–2021 Tobias Geerinckx-Rice <me@tobias.gr>
;;; Copyright © 2017 Dave Love <me@fx@gnu.org>
-;;; Copyright © 2018, 2019, 2020 Jan Nieuwenhuizen <janneke@gnu.org>
+;;; Copyright © 2018, 2019, 2020, 2021 Jan (janneke) 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>
@@ -5176,7 +5176,7 @@ reduction.")
(define-public mcrl2
(package
(name "mcrl2")
- (version "202006.0")
+ (version "202106.0")
(source (origin
(method url-fetch)
(uri (string-append
@@ -5184,7 +5184,7 @@ reduction.")
version ".tar.gz"))
(sha256
(base32
- "167ryrzk1a2j53c2j198jlxa98amcaym070gkcj730619gymv5zl"))))
+ "0db9wgy9spwm76mgfisnifrlg69y9cadjgxjr4gdwzfgg6wgqf6d"))))
(inputs
`(("boost" ,boost)
("glu" ,glu)
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- branch master updated: gnu: mcrl2: Update to 202106.0.,
guix-commits <=