gnu: openmpi: Use HTTPS home page.

* gnu/packages/mpi.scm (openmpi)[home-page]: Use HTTPS.
This commit is contained in:
Tobias Geerinckx-Rice 2020-01-18 22:14:45 +01:00
parent 9dd7082c48
commit f9a69e9bae
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79

View file

@ -264,7 +264,7 @@ (define-public openmpi
(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