Merge pull request #268619 from tweag/lib-descriptions
[NixPkgs.git] / pkgs / development / libraries / openmpi / 
tree0edece5c9b6ddc0d42f9787d5f6c20783cca68fa
drwxr-xr-x   ..
-rw-r--r-- 4374 default.nix