nixpkgs/pkgs/development/libraries/openmpi
2018-09-26 23:38:55 +02:00
..
default.nix openmpi: 3.1.0 -> 3.1.2 2018-09-26 23:38:55 +02:00