[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/03: gnu: openmpi: Use HTTPS home page.
From: |
guix-commits |
Subject: |
02/03: gnu: openmpi: Use HTTPS home page. |
Date: |
Tue, 10 Mar 2020 17:02:38 -0400 (EDT) |
nckx pushed a commit to branch master
in repository guix.
commit f9a69e9baed0e9fd5cbf4ed34c63d655a8a530bb
Author: Tobias Geerinckx-Rice <address@hidden>
AuthorDate: Sat Jan 18 22:14:45 2020 +0100
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 91545f5..ec06841 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