nixpkgs/pkgs/development/libraries/openmpi
2018-05-11 21:29:45 +02:00
..
default.nix openmpi: 3.0.1 -> 3.1.0 (#40344) 2018-05-11 21:29:45 +02:00