gnome-dictionary: remove the duplicated entry under desktop/

This commit is contained in:
Luca Bruno 2014-04-08 23:09:57 +02:00
parent c56af6102a
commit ba200a2c3c
2 changed files with 0 additions and 22 deletions

View File

@ -139,8 +139,6 @@ rec {
file-roller = callPackage ./desktop/file-roller { }; file-roller = callPackage ./desktop/file-roller { };
gnome_dictionary = callPackage ./desktop/gnome-dictionary { };
gnome_desktop = callPackage ./desktop/gnome-desktop { }; gnome_desktop = callPackage ./desktop/gnome-desktop { };
gtksourceview = callPackage ./desktop/gtksourceview { }; gtksourceview = callPackage ./desktop/gtksourceview { };

View File

@ -1,20 +0,0 @@
{ stdenv, fetchurl, pkgconfig, gnome3, gnome_doc_utils, intltool, which
, libxml2, libxslt, itstool }:
stdenv.mkDerivation rec {
version = "3.10.0";
name = "gnome-dictionary-${version}";
src = fetchurl {
url = "mirror://gnome/sources/gnome-dictionary/3.10/${name}.tar.xz";
sha256 = "1mqf6ln0cgrw12n9fg81sjbhavrgzvvq7fy3gl55il7pa3z612r5";
};
buildInputs = [ gnome3.gtk ];
nativeBuildInputs = [ pkgconfig intltool gnome_doc_utils which libxml2 libxslt itstool ];
meta = with stdenv.lib; {
platforms = platforms.linux;
};
}