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 /graph.js | |
| 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 'graph.js')
0 files changed, 0 insertions, 0 deletions