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

rdma-core: 31.0 -> 31.1
This commit is contained in:
markuskowa 2020-11-08 18:06:05 +01:00 committed by GitHub
commit e447841b12
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,7 +4,7 @@
} : } :
let let
version = "31.0"; version = "31.1";
in stdenv.mkDerivation { in stdenv.mkDerivation {
pname = "rdma-core"; pname = "rdma-core";
@ -14,7 +14,7 @@ in stdenv.mkDerivation {
owner = "linux-rdma"; owner = "linux-rdma";
repo = "rdma-core"; repo = "rdma-core";
rev = "v${version}"; rev = "v${version}";
sha256 = "0qr8a25ylmkwfgyj519zvl74q16bhf4895xjich2r98rl2yg0qdl"; sha256 = "1xkmdix6mgv6kjjj6wi844bfddhl0ybalrp5g8pf5izasc43brg7";
}; };
nativeBuildInputs = [ cmake pkgconfig pandoc docutils makeWrapper ]; nativeBuildInputs = [ cmake pkgconfig pandoc docutils makeWrapper ];