From 5b526e9012db3685e50c88d9a866a74108c8249f Mon Sep 17 00:00:00 2001 From: Nicolas Petton Date: Fri, 15 Apr 2016 17:30:42 +0200 Subject: [PATCH] grilo: 0.2.12 -> 0.2.14, grilo-plugins: 0.2.13 -> 0.2.16 Fix #14717 GNOME Music 3.18 requires a more recent version of the 0.2.x series of Grilo and its plugins to work. --- pkgs/desktops/gnome-3/3.18/core/grilo-plugins/default.nix | 4 ++-- pkgs/desktops/gnome-3/3.18/core/grilo/default.nix | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/pkgs/desktops/gnome-3/3.18/core/grilo-plugins/default.nix b/pkgs/desktops/gnome-3/3.18/core/grilo-plugins/default.nix index a236238c257..f08920efa13 100644 --- a/pkgs/desktops/gnome-3/3.18/core/grilo-plugins/default.nix +++ b/pkgs/desktops/gnome-3/3.18/core/grilo-plugins/default.nix @@ -3,11 +3,11 @@ , gmime, json_glib, avahi, tracker, itstool }: stdenv.mkDerivation rec { - name = "grilo-plugins-0.2.13"; + name = "grilo-plugins-0.2.16"; src = fetchurl { url = "mirror://gnome/sources/grilo-plugins/0.2/${name}.tar.xz"; - sha256 = "008jwm5ydl0k25p3d2fkcail40fj9y3qknihxb5fg941p8qlhm55"; + sha256 = "00sjmkzxc8w4qn4lp5yj65c4y83mwhp0zlvk11ghvpxnklgmgd40"; }; installFlags = [ "GRL_PLUGINS_DIR=$(out)/lib/grilo-0.2" ]; diff --git a/pkgs/desktops/gnome-3/3.18/core/grilo/default.nix b/pkgs/desktops/gnome-3/3.18/core/grilo/default.nix index 16dfb638a24..f5c9a613f25 100644 --- a/pkgs/desktops/gnome-3/3.18/core/grilo/default.nix +++ b/pkgs/desktops/gnome-3/3.18/core/grilo/default.nix @@ -2,11 +2,11 @@ , libxml2, gnome3, gobjectIntrospection, libsoup }: stdenv.mkDerivation rec { - name = "grilo-0.2.12"; + name = "grilo-0.2.14"; src = fetchurl { url = "mirror://gnome/sources/grilo/0.2/${name}.tar.xz"; - sha256 = "11bvc7rsrjjwz8hp67p3fn8zmywrpawrcbi3vgw8b0dwa0sndd2m"; + sha256 = "1k8wj8f7xfaw5hxypnmwd34li3fq8h76dacach547rvsfjhjxj3r"; }; setupHook = ./setup-hook.sh;