01/02: gnu: mcrl2: Update to 201908.0.

[guix-commits]

janneke pushed a commit to branch master
in repository guix.

commit 3bc74090d9b583d0bb30a8d79e33abd3c929092f
Author: Jan Nieuwenhuizen <address@hidden>
Date:   Mon Sep 30 21:26:19 2019 +0200

    gnu: mcrl2: Update to 201908.0.
    
    * gnu/packages/maths.scm (mcrl2): Update to 201908.0.
---
 gnu/packages/maths.scm | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index ffb2f87..4be69fe 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -22,7 +22,7 @@
 ;;; Copyright © 2017, 2019 Arun Isaac <address@hidden>
 ;;; Copyright © 2017, 2018, 2019 Tobias Geerinckx-Rice <address@hidden>
 ;;; Copyright © 2017 Dave Love <me@address@hidden>
-;;; Copyright © 2018 Jan Nieuwenhuizen <address@hidden>
+;;; Copyright © 2018, 2019 Jan Nieuwenhuizen <address@hidden>
 ;;; Copyright © 2018 Joshua Sierles, Nextjournal <address@hidden>
 ;;; Copyright © 2018 Nadya Voronova <address@hidden>
 ;;; Copyright © 2018 Adam Massmann <address@hidden>
@@ -4306,7 +4306,7 @@ reduction.")
 (define-public mcrl2
   (package
     (name "mcrl2")
-    (version "201707.1.15162")
+    (version "201908.0")
     (source (origin
               (method url-fetch)
               (uri (string-append "http://www.mcrl2.org/download/devel/mcrl2-";
@@ -4314,9 +4314,7 @@ reduction.")
                                   ".tar.gz"))
               (sha256
                (base32
-                "1ziww2fchsklm25hl9p2mngssxfh9w07nc114cncqaxfibqp2p8f"))))
-    (native-inputs
-     `(("subversion" ,subversion)))
+                "1i4xgl2d5fgiz1mwi50cyfkrrcpm8nxfayfjgmhq7chs58wlhfsz"))))
     (inputs
      `(("boost" ,boost)
        ("glu" ,glu)