diff options
author | markuskowa <markus.kowalewski@gmail.com> | 2021-01-23 22:51:09 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-23 22:51:09 +0100 |
commit | 2f34b4b883932f0ee2c1787e704f3915786e8cca (patch) | |
tree | e24afc69b837f14a0bb4aad2cfd344eba214774b /pkgs/build-support/ocaml/oasis.nix | |
parent | 12881a7aa703beb3fbf2b26f8cfd76e9bd67ae6b (diff) | |
parent | 72f96278f73dba04bb73fd3dea0943d21e225cf1 (diff) |
Merge pull request #108983 from markuskowa/dev-mpi
Use mpi attribute consistently to provide a default MPI implementation
Diffstat (limited to 'pkgs/build-support/ocaml/oasis.nix')
0 files changed, 0 insertions, 0 deletions