Merge pull request #73582 from markuskowa/upd-slurm

slurm: 19.05.3.2 -> 19.05.4.1
This commit is contained in:
markuskowa 2019-11-18 09:06:32 +01:00 committed by GitHub
commit 2a7f05f9be
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,7 +8,7 @@
stdenv.mkDerivation rec {
pname = "slurm";
version = "19.05.3.2";
version = "19.05.4.1";
# N.B. We use github release tags instead of https://www.schedmd.com/downloads.php
# because the latter does not keep older releases.
@ -17,7 +17,7 @@ stdenv.mkDerivation rec {
repo = "slurm";
# The release tags use - instead of .
rev = "${pname}-${builtins.replaceStrings ["."] ["-"] version}";
sha256 = "1ds4dvwswyx9rjcmcwz2fm2zi3q4gcc2n0fxxihl31i5i6wg1kv0";
sha256 = "07ydjda2dl9casz8hh91jlxdyc67mj4af1l2gq3gkzi4397azzz6";
};
outputs = [ "out" "dev" ];