rdma-core: 22 -> 22.1

This commit is contained in:
Markus Kowalewski 2019-02-12 10:46:03 +01:00
parent 07208e7a0b
commit 4ce75af3ee
No known key found for this signature in database
GPG key ID: 502A248E3FB4FF48

View file

@ -3,7 +3,7 @@
} :
let
version = "22";
version = "22.1";
in stdenv.mkDerivation {
name = "rdma-core-${version}";
@ -12,7 +12,7 @@ in stdenv.mkDerivation {
owner = "linux-rdma";
repo = "rdma-core";
rev = "v${version}";
sha256 = "1xkd51bz6p85gahsw18knrvirn404ca98lqmp1assyn4irs7khx8";
sha256 = "04772rsn5a0gr4yss63fk35zfl05hz2l27q9yva922i8qq38f90a";
};
nativeBuildInputs = [ cmake pkgconfig pandoc ];