Merge pull request #68756 from dtzWill/update/libmicrodns-0.1.0

libmicrodns: 0.0.10 -> 0.1.0
This commit is contained in:
worldofpeace 2019-09-17 13:16:47 -04:00 committed by GitHub
commit 47dc30c10c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,14 +5,14 @@
}:
stdenv.mkDerivation rec {
version = "0.0.10";
version = "0.1.0";
pname = "libmicrodns";
src = fetchFromGitHub {
owner = "videolabs";
repo = pname;
rev = version;
sha256 = "1xvl9k49ng35wbsqmnjnyqvkyjf8dcq2ywsq3jp3wh0rgmxhq2fh";
sha256 = "1pmf461zn35spbpbls1ih68ki7f8g8xjwhzr2csy63nnyq2k9jji";
};
nativeBuildInputs = [