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

rdma-core: 20 -> 20.1
This commit is contained in:
markuskowa
2018-10-24 00:10:48 +02:00
committed by GitHub
+2 -2
View File
@@ -3,7 +3,7 @@
} : } :
let let
version = "20"; version = "20.1";
in stdenv.mkDerivation { in stdenv.mkDerivation {
name = "rdma-core-${version}"; name = "rdma-core-${version}";
@@ -12,7 +12,7 @@ in stdenv.mkDerivation {
owner = "linux-rdma"; owner = "linux-rdma";
repo = "rdma-core"; repo = "rdma-core";
rev = "v${version}"; rev = "v${version}";
sha256 = "1zz9r1zq9ql806sbyi7nrslx1d96hgd9zvdlzbv4j31m6kfmsyri"; sha256 = "1j6d3n4wzl04m0k4nxbmahfwc094185d5jyijgvg3z5hwwb8lkwv";
}; };
nativeBuildInputs = [ cmake pkgconfig pandoc ]; nativeBuildInputs = [ cmake pkgconfig pandoc ];