From 5eb739fb1e6943dffe8950c50a2e0999b7448311 Mon Sep 17 00:00:00 2001 From: Luca Bruno Date: Sun, 18 May 2014 23:32:44 +0200 Subject: [PATCH] gnome-user-docs: add 3.12.1 version --- .../gnome-3/3.12/core/gnome-user-docs/default.nix | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/pkgs/desktops/gnome-3/3.12/core/gnome-user-docs/default.nix b/pkgs/desktops/gnome-3/3.12/core/gnome-user-docs/default.nix index d66863a22184..7377c839d1c9 100644 --- a/pkgs/desktops/gnome-3/3.12/core/gnome-user-docs/default.nix +++ b/pkgs/desktops/gnome-3/3.12/core/gnome-user-docs/default.nix @@ -1,17 +1,17 @@ { stdenv, fetchurl, pkgconfig, file, gnome3, itstool, libxml2, intltool }: stdenv.mkDerivation rec { - name = "gnome-user-docs-3.10.3"; + name = "gnome-user-docs-3.12.1"; src = fetchurl { - url = "mirror://gnome/sources/gnome-user-docs/3.10/${name}.tar.xz"; - sha256 = "960b6373ea52e41e3deb3501930e024005b29d2cc958bfadc87450a291d2a905"; + url = "mirror://gnome/sources/gnome-user-docs/3.12/${name}.tar.xz"; + sha256 = "bfd084d72c688d6efb0c34bb572a704cc2ce093c97a33390eaffb5e42158d418"; }; buildInputs = [ pkgconfig gnome3.yelp itstool libxml2 intltool ]; meta = with stdenv.lib; { - homepage = https://help.gnome.org/users/gnome-help/3.10; + homepage = https://help.gnome.org/users/gnome-help/3.12; description = "User and system administration help for the Gnome desktop"; maintainers = with maintainers; [ lethalman ]; license = licenses.cc-by-30;