diff options
| author | Marius Bakke <marius@gnu.org> | 2022-07-05 23:21:25 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2022-07-06 00:35:17 +0200 |
| commit | 4fc61750733ab0f4082da2d94ad04faba2eb34a4 (patch) | |
| tree | 9348fbdaa6287d99c79e98922d84a6ac52e2608f /.dir-locals.el | |
| parent | 38aafcf958badfa6407ece2bb70c3b8dc70dba5e (diff) | |
| download | guix-4fc61750733ab0f4082da2d94ad04faba2eb34a4.tar.gz | |
gnu: boost-mpi: OpenMPI is not native.
* gnu/packages/boost.scm (boost-mpi)[native-inputs]: Move OPENMPI ... [inputs]: ... here.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions