From 5d23756c7b89d6d3ce13caa2332b5e26be443b32 Mon Sep 17 00:00:00 2001 From: Jan Tojnar Date: Wed, 8 Aug 2018 20:42:31 +0200 Subject: gnome2.gnome_menus: drop --- pkgs/desktops/gnome-2/desktop/gnome-menus/default.nix | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 pkgs/desktops/gnome-2/desktop/gnome-menus/default.nix (limited to 'pkgs/desktops/gnome-2/desktop') diff --git a/pkgs/desktops/gnome-2/desktop/gnome-menus/default.nix b/pkgs/desktops/gnome-2/desktop/gnome-menus/default.nix deleted file mode 100644 index 0dcb409e0aae..000000000000 --- a/pkgs/desktops/gnome-2/desktop/gnome-menus/default.nix +++ /dev/null @@ -1,13 +0,0 @@ -{stdenv, fetchurl, pkgconfig, python, glib, intltool}: - -stdenv.mkDerivation { - name = "gnome-menus-2.30.5"; - - src = fetchurl { - url = mirror://gnome/sources/gnome-menus/2.30/gnome-menus-2.30.5.tar.bz2; - sha256 = "1ajckii51spmkgfc0168c56x0syz5vwb2fp8b81c5s6n0r85dk3d"; - }; - - nativeBuildInputs = [ pkgconfig ]; - buildInputs = [ python glib intltool ]; -} -- cgit 1.4.1