diff options
author | markuskowa <markus.kowalewski@gmail.com> | 2018-11-13 10:36:55 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-13 10:36:55 +0100 |
commit | 8c11e30eec60c75c1d00ffe73e66bd6e67b913a0 (patch) | |
tree | 5240ebc9f841ccd89c0e22c3b86387c1ae59ff2f /pkgs | |
parent | 9871fe3564ee6f4a5b4a77adaae62589dbcf60c2 (diff) | |
parent | a3cb3fb64b3035d1b40c05f9d9df6b141ca6ffd9 (diff) |
Merge pull request #50164 from markuskowa/upd-openmpi
openmpi: 3.1.2 -> 3.1.3
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/libraries/openmpi/default.nix | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/pkgs/development/libraries/openmpi/default.nix b/pkgs/development/libraries/openmpi/default.nix index b5651e8f02adc..345dffa87f5be 100644 --- a/pkgs/development/libraries/openmpi/default.nix +++ b/pkgs/development/libraries/openmpi/default.nix @@ -9,15 +9,14 @@ }: let - majorVersion = "3.1"; - minorVersion = "2"; + version = "3.1.3"; in stdenv.mkDerivation rec { - name = "openmpi-${majorVersion}.${minorVersion}"; + name = "openmpi-${version}"; - src = fetchurl { - url = "http://www.open-mpi.org/software/ompi/v${majorVersion}/downloads/${name}.tar.bz2"; - sha256 = "1ibniapqki763agpfh65y284las083fqmj8m5b2pi8ilgy2fsm66"; + src = with stdenv.lib.versions; fetchurl { + url = "http://www.open-mpi.org/software/ompi/v${major version}.${minor version}/downloads/${name}.tar.bz2"; + sha256 = "1dks11scivgaskjs5955y9wprsl12wr3gn5r7wfl0l8gq03l7q4b"; }; postPatch = '' |