Merge pull request #147529 from markuskowa/upd-openmpi

openmpi: 4.1.1 -> 4.1.2
This commit is contained in:
markuskowa 2021-11-26 22:17:02 +01:00 committed by GitHub
commit 04088dafe9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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