gnome3_12.gnome-user-docs: update from 3.12.1 to 3.12.2

This commit is contained in:
Luca Bruno 2014-09-02 12:54:38 +02:00
parent ac7f0a8cf2
commit b00b560dba

View File

@ -1,11 +1,11 @@
{ stdenv, fetchurl, pkgconfig, file, gnome3, itstool, libxml2, intltool }: { stdenv, fetchurl, pkgconfig, file, gnome3, itstool, libxml2, intltool }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "gnome-user-docs-3.12.1"; name = "gnome-user-docs-3.12.2";
src = fetchurl { src = fetchurl {
url = "mirror://gnome/sources/gnome-user-docs/3.12/${name}.tar.xz"; url = "mirror://gnome/sources/gnome-user-docs/3.12/${name}.tar.xz";
sha256 = "bfd084d72c688d6efb0c34bb572a704cc2ce093c97a33390eaffb5e42158d418"; sha256 = "1cj45lpa74vkbxyila3d6pn5m1gh51nljp9fjirxmzwi1h6wg7jd";
}; };
buildInputs = [ pkgconfig gnome3.yelp itstool libxml2 intltool ]; buildInputs = [ pkgconfig gnome3.yelp itstool libxml2 intltool ];