Merge pull request #175283 from markuskowa/upd-openmpi

openmpi: 4.1.3 -> 4.1.4
2022-05-30 17:25:16 +02:00
parent fba5275708 cf21f98217
commit 39f59368b1
1 changed files with 2 additions and 2 deletions
@@ -27,11 +27,11 @@ let
  };
 in stdenv.mkDerivation rec {
  pname = "openmpi";
-  version = "4.1.3";
+  version = "4.1.4";

  src = with lib.versions; fetchurl {
    url = "https://www.open-mpi.org/software/ompi/v${major version}.${minor version}/downloads/${pname}-${version}.tar.bz2";
-    sha256 = "sha256-PYHQTFTvtV04caRl/7CY2NcsH0j/HLryWA6wWFZ8Cjs=";
+    sha256 = "03ckngrff1cl0l81vfvrfhp99rbgk7s0633kr1l468yibwbjx4cj";
  };

  postPatch = ''