diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-03-10 20:08:40 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-03-10 22:02:19 +0100 |
| commit | 9dd7082c48c3b3a3f90db974a36dafcac95c5be2 (patch) | |
| tree | fd1f4b40b2afbb25d3b3bb7fd1b1edeb886a50e2 /.dir-locals.el | |
| parent | c3945380d9953dd99dc444c90fdba47988ebe9a0 (diff) | |
| download | patches-9dd7082c48c3b3a3f90db974a36dafcac95c5be2.tar patches-9dd7082c48c3b3a3f90db974a36dafcac95c5be2.tar.gz | |
gnu: openmpi: Update to 4.0.3.
* gnu/packages/mpi.scm (openmpi): Update to 4.0.3.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions