Merge pull request #51702 from dtzWill/update/wayland-protocols-1.17

wayland-protocols: 1.16 -> 1.17
This commit is contained in:
Vladyslav M 2018-12-08 17:14:03 +02:00 committed by GitHub
commit 0fa0ce28af
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,11 +4,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "wayland-protocols-${version}"; name = "wayland-protocols-${version}";
version = "1.16"; version = "1.17";
src = fetchurl { src = fetchurl {
url = "https://wayland.freedesktop.org/releases/${name}.tar.xz"; url = "https://wayland.freedesktop.org/releases/${name}.tar.xz";
sha256 = "1icqikvhgv9kcf8lcqml3w9fb8q3igr4c3471jb6mlyw3yaqa53b"; sha256 = "0bw1sqixqk2a7mqw630cs4dlgcp5yib90vyikzm3lr05jz7ij4yz";
}; };
nativeBuildInputs = [ pkgconfig ]; nativeBuildInputs = [ pkgconfig ];