Merge pull request #54879 from markuskowa/upd-rdma-core

rdma-core: 21 -> 22
This commit is contained in:
markuskowa 2019-01-31 21:57:24 +01:00 committed by GitHub
commit c3065c55d4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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