slurm: 18.08.6.2 -> 18.08.7.1

This commit is contained in:
Markus Kowalewski 2019-04-22 13:23:18 +02:00
parent 1f9943bcb0
commit dcde76d00c
No known key found for this signature in database
GPG key ID: D865C8A91D7025EB

View file

@ -8,7 +8,7 @@
stdenv.mkDerivation rec {
name = "slurm-${version}";
version = "18.08.6.2";
version = "18.08.7.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 = "0py1795jrgip00k46gr9f9y49gpv5478kc3v68d90nl158fngixc";
sha256 = "13asdirygkp0mmi2da0094c9h180nl7nb7nkj4j9d842xzw21454";
};
outputs = [ "out" "dev" ];