diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-18 22:14:45 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-03-10 22:02:19 +0100 |
| commit | f9a69e9baed0e9fd5cbf4ed34c63d655a8a530bb (patch) | |
| tree | 30ccab750e8c3c73bab2b271ed54d39415cd14b1 /gnu/packages | |
| parent | 9dd7082c48c3b3a3f90db974a36dafcac95c5be2 (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.scm | 2 |
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 |