slurm: 18.08.1.1 -> 18.08.3.1

wip/yesman
Markus Kowalewski 6 years ago
parent 145627391b
commit bba31d192d
No known key found for this signature in database
GPG Key ID: D865C8A91D7025EB
  1. 4
      pkgs/servers/computing/slurm/default.nix

@ -8,7 +8,7 @@
stdenv.mkDerivation rec {
name = "slurm-${version}";
version = "18.08.1.1";
version = "18.08.3.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 = "1yndxi11vj0di3yf6ky78zcnffk6d3676gf5y7jn7vwxxmzm4h5k";
sha256 = "1dz5hgnlsld8b8vrbckk3mj7cqrv662wsp0s9z4x8wafygz3zx07";
};
outputs = [ "out" "dev" ];

Loading…
Cancel
Save