Merge pull request #167364 from r-ryantm/auto-update/openmpi

openmpi: 4.1.2 -> 4.1.3
This commit is contained in:
markuskowa 2022-04-05 21:53:29 +02:00 committed by GitHub
commit f22dc92e9f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -27,11 +27,11 @@ let
};
in stdenv.mkDerivation rec {
pname = "openmpi";
version = "4.1.2";
version = "4.1.3";
src = with lib.versions; fetchurl {
url = "https://www.open-mpi.org/software/ompi/v${major version}.${minor version}/downloads/${pname}-${version}.tar.bz2";
sha256 = "09xmlr4mfs02kwcf5cmdgkcdjj81fjwjmpa3rz2k28f3gz7wfy4v";
sha256 = "sha256-PYHQTFTvtV04caRl/7CY2NcsH0j/HLryWA6wWFZ8Cjs=";
};
postPatch = ''