gnu: mcrl2: Use HTTPS home page.

* gnu/packages/maths.scm (mcrl2)[home-page]: Use HTTPS.

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 01bd03c..4e1347e 100644 (file)
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -3975,7 +3975,7 @@ toolset supports analysis and automatic verification, linearisation, simulation,
 state-space exploration and generation, and tools to optimise and analyse
 specifications.  Also, state spaces can be manipulated, visualised and
 analysed.")
-    (home-page "http://mcrl2.org")
+    (home-page "https://mcrl2.org")
     (license license:boost1.0)))
 
 (define-public r-subplex