gnu: mcrl2: Update source url.

* gnu/packages/maths.scm (mcrl2): Update source url.
2019-10-08 23:19:23 +02:00 · 2019-10-08 23:19:23 +02:00 · 185152e39e
parent f875d76f16
commit 185152e39e
1 changed files with 3 additions and 3 deletions
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@ -4320,9 +4320,9 @@ reduction.")
    (version "201908.0")
    (source (origin
              (method url-fetch)
-              (uri (string-append "http://www.mcrl2.org/download/devel/mcrl2-"
+              (uri (string-append
-                                  version
+                    "https://www.mcrl2.org/download/release/mcrl2-"
-                                  ".tar.gz"))
+                    version ".tar.gz"))
              (sha256
               (base32
                "1i4xgl2d5fgiz1mwi50cyfkrrcpm8nxfayfjgmhq7chs58wlhfsz"))))