Merge pull request #48357 from r-ryantm/auto-update/slurm

slurm: 18.08.0-1 -> 18.08.1.1
This commit is contained in:
markuskowa 2018-10-14 09:14:41 +02:00 committed by GitHub
commit 1e773a51dc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,7 +8,7 @@
stdenv.mkDerivation rec {
name = "slurm-${version}";
version = "18.08.0-1";
version = "18.08.1.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 = "${builtins.replaceStrings ["."] ["-"] name}";
sha256 = "0mnaynnpz0cyd1lspcln6h6w5d7brcw3yiqsfxqrfhlmygyp21wq";
sha256 = "1yndxi11vj0di3yf6ky78zcnffk6d3676gf5y7jn7vwxxmzm4h5k";
};
outputs = [ "out" "dev" ];