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 /ChangeLog | |
parent | 9dd7082c48c3b3a3f90db974a36dafcac95c5be2 (diff) | |
download | guix-f9a69e9baed0e9fd5cbf4ed34c63d655a8a530bb.tar.gz |
gnu: openmpi: Use HTTPS home page.
* gnu/packages/mpi.scm (openmpi)[home-page]: Use HTTPS.
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions