From f9a69e9baed0e9fd5cbf4ed34c63d655a8a530bb Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Sat, 18 Jan 2020 22:14:45 +0100 Subject: [PATCH] gnu: openmpi: Use HTTPS home page. * gnu/packages/mpi.scm (openmpi)[home-page]: Use HTTPS. --- gnu/packages/mpi.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index 91545f5296..ec0684168e 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -264,7 +264,7 @@ bind processes, and much more.") (let ((out (assoc-ref outputs "out"))) (for-each delete-file (find-files out "config.log")) #t)))))) - (home-page "http://www.open-mpi.org") + (home-page "https://www.open-mpi.org") (synopsis "MPI-3 implementation") (description "The Open MPI Project is an MPI-3 implementation that is developed and