summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
diff options
context:
space:
mode:
authorJan Nieuwenhuizen <janneke@gnu.org>2019-10-08 23:19:23 +0200
committerJan Nieuwenhuizen <janneke@gnu.org>2019-10-08 23:25:51 +0200
commit185152e39e4d9d1731247cc4b14e73fe4c5030b6 (patch)
tree642a6ad12530a7c7a2a1d52818b3279b4674cf20 /gnu/packages/maths.scm
parentf875d76f16203e6ad235ec2c03ac784852ac1a20 (diff)
gnu: mcrl2: Update source url.
* gnu/packages/maths.scm (mcrl2): Update source url.
Diffstat (limited to 'gnu/packages/maths.scm')
-rw-r--r--gnu/packages/maths.scm6
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index fe9d59b69a..6f75fba879 100644
--- 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-"
- version
- ".tar.gz"))
+ (uri (string-append
+ "https://www.mcrl2.org/download/release/mcrl2-"
+ version ".tar.gz"))
(sha256
(base32
"1i4xgl2d5fgiz1mwi50cyfkrrcpm8nxfayfjgmhq7chs58wlhfsz"))))