From 819b5841c6586662416df895502040d64377331f Mon Sep 17 00:00:00 2001 From: Luca Bruno Date: Mon, 19 May 2014 11:46:42 +0200 Subject: [PATCH] gnome-music: add 3.12.2 version --- pkgs/desktops/gnome-3/3.12/apps/gnome-music/default.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/desktops/gnome-3/3.12/apps/gnome-music/default.nix b/pkgs/desktops/gnome-3/3.12/apps/gnome-music/default.nix index b8d2bbc79ef..c6a98bb3ef0 100644 --- a/pkgs/desktops/gnome-3/3.12/apps/gnome-music/default.nix +++ b/pkgs/desktops/gnome-3/3.12/apps/gnome-music/default.nix @@ -4,11 +4,11 @@ , makeWrapper, itstool, gnome3, librsvg, gst_all_1 }: stdenv.mkDerivation rec { - name = "gnome-music-3.10.4"; + name = "gnome-music-3.12.2"; src = fetchurl { - url = "mirror://gnome/sources/gnome-music/3.10/${name}.tar.xz"; - sha256 = "64220d4c0f9115a6ed27ec99c7ec7afc065d12e5a32371936f303ef981f5325f"; + url = "mirror://gnome/sources/gnome-music/3.12/${name}.tar.xz"; + sha256 = "ec4807018166aabed0263cb3ffce672e1fc1a3e959f48a5ad48b8eb08ddb451a"; }; propagatedUserEnvPkgs = [ gnome3.gnome_themes_standard ];