summaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2020-01-18 22:14:45 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2020-03-10 22:02:19 +0100
commitf9a69e9baed0e9fd5cbf4ed34c63d655a8a530bb (patch)
tree30ccab750e8c3c73bab2b271ed54d39415cd14b1 /gnu/packages
parent9dd7082c48c3b3a3f90db974a36dafcac95c5be2 (diff)
gnu: openmpi: Use HTTPS home page.
* gnu/packages/mpi.scm (openmpi)[home-page]: Use HTTPS.
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/mpi.scm2
1 files changed, 1 insertions, 1 deletions
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