diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-06-05 02:00:01 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-06-05 02:00:00 +0200 |
| commit | 8578b8d8b5ff8c2aa59080e3736ace2a40ffd68e (patch) | |
| tree | b1664be032b6eb99f7e9b38510220039645607f1 /gnu/packages.scm | |
| parent | 5a42df6e49a2eae412d2a4d3c76668f486f5e5c3 (diff) | |
gnu: openmpi: Update to 4.1.4.
* gnu/packages/mpi.scm (openmpi): Update to 4.1.4.
Diffstat (limited to 'gnu/packages.scm')
0 files changed, 0 insertions, 0 deletions