Merge pull request #61985 from r-ryantm/auto-update/rdma-core

rdma-core: 23 -> 23.1
This commit is contained in:
markuskowa 2019-05-24 10:35:27 +02:00 committed by GitHub
commit ad9f1beab2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -3,7 +3,7 @@
} :
let
version = "23";
version = "23.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 = "1n0v075ndczwrc87b70vxhx42nv1p953cqycmgnz334790zg002g";
sha256 = "0blwqfj73bnk7byj2mavvnyh87mwhpzwgzg60s9vv9jnfcnbhlhk";
};
nativeBuildInputs = [ cmake pkgconfig pandoc ];