summary refs log tree commit diff
path: root/pkgs/development/libraries/gnome/src-gnome-desktop-2.14.2.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/libraries/gnome/src-gnome-desktop-2.14.2.nix')
-rw-r--r--pkgs/development/libraries/gnome/src-gnome-desktop-2.14.2.nix515
1 files changed, 0 insertions, 515 deletions
diff --git a/pkgs/development/libraries/gnome/src-gnome-desktop-2.14.2.nix b/pkgs/development/libraries/gnome/src-gnome-desktop-2.14.2.nix
deleted file mode 100644
index aac5eec3dcb9..000000000000
--- a/pkgs/development/libraries/gnome/src-gnome-desktop-2.14.2.nix
+++ /dev/null
@@ -1,515 +0,0 @@
-# Note: this file was generated automatically by make-listing.sh!
-
-{fetchurl} : {
-  bugbuddy = {
-    name = "bug-buddy-2.14.0";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/bug-buddy-2.14.0.tar.bz2;
-      md5 = "4fb288adc8f67cbfb8886ddf7b400530";
-    };
-  };
-  controlcenter = {
-    name = "control-center-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/control-center-2.14.2.tar.bz2;
-      md5 = "08711b0f14584e7eaa9f4c275085ab36";
-    };
-  };
-  dasher = {
-    name = "dasher-4.0.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/dasher-4.0.2.tar.bz2;
-      md5 = "47cf27594abb51ea97f3a8fdb276736d";
-    };
-  };
-  deskbarapplet = {
-    name = "deskbar-applet-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/deskbar-applet-2.14.2.tar.bz2;
-      md5 = "382379d0c4ca4bd73f14b25d3a04b7cc";
-    };
-  };
-  eel = {
-    name = "eel-2.14.1";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/eel-2.14.1.tar.bz2;
-      md5 = "7002f4f99317ed11da8b9db15b7e4a2b";
-    };
-  };
-  ekiga = {
-    name = "ekiga-2.0.1";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/ekiga-2.0.1.tar.bz2;
-      md5 = "abf6c3351a64a7ed9028929ad5a17729";
-    };
-  };
-  eog = {
-    name = "eog-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/eog-2.14.2.tar.bz2;
-      md5 = "7653ae35509bd799bccfa4e6d819882a";
-    };
-  };
-  epiphany = {
-    name = "epiphany-2.14.2.1";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/epiphany-2.14.2.1.tar.bz2;
-      md5 = "872ef8d5e95cdc359f93b5ded501d98d";
-    };
-  };
-  evince = {
-    name = "evince-0.5.3";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/evince-0.5.3.tar.bz2;
-      md5 = "94be73485eeb8584b4aeaa8ac87699f0";
-    };
-  };
-  evolution = {
-    name = "evolution-2.6.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/evolution-2.6.2.tar.bz2;
-      md5 = "24b97cf70a3c1e9e34f6e328e6910ab1";
-    };
-  };
-  evolutiondataserver = {
-    name = "evolution-data-server-1.6.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/evolution-data-server-1.6.2.tar.bz2;
-      md5 = "165f493eec8a2c8fc6eca3fdeb8c4885";
-    };
-  };
-  evolutionexchange = {
-    name = "evolution-exchange-2.6.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/evolution-exchange-2.6.2.tar.bz2;
-      md5 = "8b36ac9d4d3682a1bb73bf37e2a959b3";
-    };
-  };
-  evolutionwebcal = {
-    name = "evolution-webcal-2.6.0";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/evolution-webcal-2.6.0.tar.bz2;
-      md5 = "c779dcfc1db419f019abfcaafd6b8e4d";
-    };
-  };
-  fastuserswitchapplet = {
-    name = "fast-user-switch-applet-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/fast-user-switch-applet-2.14.2.tar.bz2;
-      md5 = "590e51fbc9dfa7e33a337d36349cf040";
-    };
-  };
-  fileroller = {
-    name = "file-roller-2.14.3";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/file-roller-2.14.3.tar.bz2;
-      md5 = "11a11675a9ec5f8b0164713fc60894af";
-    };
-  };
-  gcalctool = {
-    name = "gcalctool-5.8.13";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gcalctool-5.8.13.tar.bz2;
-      md5 = "6807694b49801413be3aa9a3198f4363";
-    };
-  };
-  gconfeditor = {
-    name = "gconf-editor-2.14.0";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gconf-editor-2.14.0.tar.bz2;
-      md5 = "eb8b979464f6e383e5a27b57ee4e8382";
-    };
-  };
-  gdm = {
-    name = "gdm-2.14.7";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gdm-2.14.7.tar.bz2;
-      md5 = "0ad3cb1eefd6fe216a3e2f0f7cd8944f";
-    };
-  };
-  gedit = {
-    name = "gedit-2.14.3";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gedit-2.14.3.tar.bz2;
-      md5 = "114abc77de4e9720503b9146c48d6133";
-    };
-  };
-  gnomeapplets = {
-    name = "gnome-applets-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-applets-2.14.2.tar.bz2;
-      md5 = "e6da539e78da1256b9a9bee1301fd44f";
-    };
-  };
-  gnomebackgrounds = {
-    name = "gnome-backgrounds-2.14.2.1";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-backgrounds-2.14.2.1.tar.bz2;
-      md5 = "10480df7c2e5a08c920c5b0a2ff4f161";
-    };
-  };
-  gnomedesktop = {
-    name = "gnome-desktop-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-desktop-2.14.2.tar.bz2;
-      md5 = "9c252124a80453d47377664b31159590";
-    };
-  };
-  gnomedocutils = {
-    name = "gnome-doc-utils-0.6.0";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-doc-utils-0.6.0.tar.bz2;
-      md5 = "1e0c26e3e1159f60551aab5187634744";
-    };
-  };
-  gnomegames = {
-    name = "gnome-games-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-games-2.14.2.tar.bz2;
-      md5 = "45916c97dab20631f22291ff9ab05319";
-    };
-  };
-  gnomeicontheme = {
-    name = "gnome-icon-theme-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-icon-theme-2.14.2.tar.bz2;
-      md5 = "6f1d33a297bd27e0e9f4c1a5fa956166";
-    };
-  };
-  gnomekeyring = {
-    name = "gnome-keyring-0.4.9";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-keyring-0.4.9.tar.bz2;
-      md5 = "9a90820acf11a66e4c3dd9e163231071";
-    };
-  };
-  gnomekeyringmanager = {
-    name = "gnome-keyring-manager-2.14.0";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-keyring-manager-2.14.0.tar.bz2;
-      md5 = "d4e38c7b7da99885fa898917e10d8aeb";
-    };
-  };
-  gnomemag = {
-    name = "gnome-mag-0.12.5";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-mag-0.12.5.tar.bz2;
-      md5 = "5872f8f5f985cc476f1ea8adf0e4518d";
-    };
-  };
-  gnomemedia = {
-    name = "gnome-media-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-media-2.14.2.tar.bz2;
-      md5 = "16c35916f429c5ea04fb942b4072643b";
-    };
-  };
-  gnomemenus = {
-    name = "gnome-menus-2.14.0";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-menus-2.14.0.tar.bz2;
-      md5 = "7aa0c08fc8b9caabb4be46e1cfb595fc";
-    };
-  };
-  gnomenetstatus = {
-    name = "gnome-netstatus-2.12.0";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-netstatus-2.12.0.tar.bz2;
-      md5 = "a5f23731a3bf232969e82afef8792a36";
-    };
-  };
-  gnomenettool = {
-    name = "gnome-nettool-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-nettool-2.14.2.tar.bz2;
-      md5 = "0efb13f0145abe46b26a00c75473a00f";
-    };
-  };
-  gnomepanel = {
-    name = "gnome-panel-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-panel-2.14.2.tar.bz2;
-      md5 = "7db1afb3f6cbca12acecc49c68b4a655";
-    };
-  };
-  gnomepythondesktop = {
-    name = "gnome-python-desktop-2.14.0";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-python-desktop-2.14.0.tar.bz2;
-      md5 = "d3f9c2d213b7d486ca7bd87dd106ca69";
-    };
-  };
-  gnomescreensaver = {
-    name = "gnome-screensaver-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-screensaver-2.14.2.tar.bz2;
-      md5 = "f76677180432a89ac46a8507fe34b45a";
-    };
-  };
-  gnomesession = {
-    name = "gnome-session-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-session-2.14.2.tar.bz2;
-      md5 = "191dc3a18eb37aca391914b404cf1cd7";
-    };
-  };
-  gnomespeech = {
-    name = "gnome-speech-0.4.0";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-speech-0.4.0.tar.bz2;
-      md5 = "c27f3eb262b8a66a756872d25c716517";
-    };
-  };
-  gnomesystemmonitor = {
-    name = "gnome-system-monitor-2.14.3";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-system-monitor-2.14.3.tar.bz2;
-      md5 = "8d690176629b8b2b3e4d4f93d98d57f0";
-    };
-  };
-  gnomesystemtools = {
-    name = "gnome-system-tools-2.14.0";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-system-tools-2.14.0.tar.bz2;
-      md5 = "3aded3a37f4f5b4962bf253d25cebea1";
-    };
-  };
-  gnometerminal = {
-    name = "gnome-terminal-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-terminal-2.14.2.tar.bz2;
-      md5 = "da80071cd707e89cedcfb476cab8b39a";
-    };
-  };
-  gnomethemes = {
-    name = "gnome-themes-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-themes-2.14.2.tar.bz2;
-      md5 = "aa369e130f9fc3b8fd0fd4481766a56c";
-    };
-  };
-  gnomeuserdocs = {
-    name = "gnome-user-docs-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-user-docs-2.14.2.tar.bz2;
-      md5 = "4f5a7114ccf9e4e31137da50b7333570";
-    };
-  };
-  gnomeutils = {
-    name = "gnome-utils-2.14.0";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-utils-2.14.0.tar.bz2;
-      md5 = "d1d16ff6bfc1f6ddc110d18ec4dfdbfa";
-    };
-  };
-  gnomevolumemanager = {
-    name = "gnome-volume-manager-1.5.15";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnome-volume-manager-1.5.15.tar.bz2;
-      md5 = "0bf3ee007c951a5d833a3c17bbe59ec6";
-    };
-  };
-  gnopernicus = {
-    name = "gnopernicus-1.1.0";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gnopernicus-1.1.0.tar.bz2;
-      md5 = "b55b345f765673205a87e251874afba3";
-    };
-  };
-  gok = {
-    name = "gok-1.0.10";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gok-1.0.10.tar.bz2;
-      md5 = "de6cceaca780e7ad0702c4b3c0fd8d1f";
-    };
-  };
-  gstpluginsbase = {
-    name = "gst-plugins-base-0.10.7";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gst-plugins-base-0.10.7.tar.bz2;
-      md5 = "d66b09de993aefd22d8fc341e5f50521";
-    };
-  };
-  gstpluginsgood = {
-    name = "gst-plugins-good-0.10.3";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gst-plugins-good-0.10.3.tar.bz2;
-      md5 = "2b59bce477349628ee549c2ce1d80a3a";
-    };
-  };
-  gstreamer = {
-    name = "gstreamer-0.10.6";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gstreamer-0.10.6.tar.bz2;
-      md5 = "ca7513efcca608a42836fd54b70a5814";
-    };
-  };
-  gtkengines = {
-    name = "gtk-engines-2.6.9";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gtk-engines-2.6.9.tar.bz2;
-      md5 = "77fb084b60efa8dd4fcfc0fc24882cd1";
-    };
-  };
-  gtkhtml = {
-    name = "gtkhtml-3.10.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gtkhtml-3.10.2.tar.bz2;
-      md5 = "4fe10da72b4ac578401ceffcce03ceed";
-    };
-  };
-  gtksourceview = {
-    name = "gtksourceview-1.6.1";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gtksourceview-1.6.1.tar.bz2;
-      md5 = "f8ca3a1a746477b2b46de7ebea276db5";
-    };
-  };
-  gucharmap = {
-    name = "gucharmap-1.6.0";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/gucharmap-1.6.0.tar.bz2;
-      md5 = "8af03f350c988d1565922b10776bc725";
-    };
-  };
-  libgailgnome = {
-    name = "libgail-gnome-1.1.3";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/libgail-gnome-1.1.3.tar.bz2;
-      md5 = "1d12c5375b3404f4f20b214b763e5225";
-    };
-  };
-  libgnomeprint = {
-    name = "libgnomeprint-2.12.1";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/libgnomeprint-2.12.1.tar.bz2;
-      md5 = "ea729d4968fe2169c84efb12ace5f6cc";
-    };
-  };
-  libgnomeprintui = {
-    name = "libgnomeprintui-2.12.1";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/libgnomeprintui-2.12.1.tar.bz2;
-      md5 = "fa0b0410c3ba8b6899c5ed278f02cbe5";
-    };
-  };
-  libgtop = {
-    name = "libgtop-2.14.1";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/libgtop-2.14.1.tar.bz2;
-      md5 = "59cc661ae518fcae158517cc029b2add";
-    };
-  };
-  librsvg = {
-    name = "librsvg-2.14.4";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/librsvg-2.14.4.tar.bz2;
-      md5 = "945617bb094975d7353a3852302297c1";
-    };
-  };
-  libsoup = {
-    name = "libsoup-2.2.93";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/libsoup-2.2.93.tar.bz2;
-      md5 = "08f9c570a4331778da95c0bc317f6bf4";
-    };
-  };
-  libwnck = {
-    name = "libwnck-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/libwnck-2.14.2.tar.bz2;
-      md5 = "df5c7a764e81a7214d493194ee394918";
-    };
-  };
-  libxklavier = {
-    name = "libxklavier-2.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/libxklavier-2.2.tar.bz2;
-      md5 = "1c53646f35d77564f42d3f4342cd443f";
-    };
-  };
-  metacity = {
-    name = "metacity-2.14.3";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/metacity-2.14.3.tar.bz2;
-      md5 = "57c0bc3cf4103097e126df892ecc1d58";
-    };
-  };
-  nautilus = {
-    name = "nautilus-2.14.1";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/nautilus-2.14.1.tar.bz2;
-      md5 = "d8bad8b9141bc823c612abb7d460b725";
-    };
-  };
-  nautiluscdburner = {
-    name = "nautilus-cd-burner-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/nautilus-cd-burner-2.14.2.tar.bz2;
-      md5 = "5e85fc810f6160916fac26caa805cc65";
-    };
-  };
-  scrollkeeper = {
-    name = "scrollkeeper-0.3.14";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/scrollkeeper-0.3.14.tar.bz2;
-      md5 = "b175e582a6cec3e50a9de73a5bb7455a";
-    };
-  };
-  soundjuicer = {
-    name = "sound-juicer-2.14.4";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/sound-juicer-2.14.4.tar.bz2;
-      md5 = "677ed6e3e7b4aa1602d35c46a8e0bc31";
-    };
-  };
-  startupnotification = {
-    name = "startup-notification-0.8";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/startup-notification-0.8.tar.bz2;
-      md5 = "d9b2e9fba18843314ae42334ceb4336d";
-    };
-  };
-  systemtoolsbackends = {
-    name = "system-tools-backends-1.4.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/system-tools-backends-1.4.2.tar.bz2;
-      md5 = "a0af1513becdf3b9bfed3535ad8f7dab";
-    };
-  };
-  totem = {
-    name = "totem-1.4.1";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/totem-1.4.1.tar.bz2;
-      md5 = "6788b83f7889f61eef5922f4daecd859";
-    };
-  };
-  vino = {
-    name = "vino-2.13.5";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/vino-2.13.5.tar.bz2;
-      md5 = "9bc8c3f0e639fdc7b9ed023501308359";
-    };
-  };
-  vte = {
-    name = "vte-0.12.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/vte-0.12.2.tar.bz2;
-      md5 = "7cb1bd6ca528bc4db5ec685549fd3eb1";
-    };
-  };
-  yelp = {
-    name = "yelp-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/yelp-2.14.2.tar.bz2;
-      md5 = "4294fe3b01824675bd8be9d7936dcaa7";
-    };
-  };
-  zenity = {
-    name = "zenity-2.14.2";
-    src = fetchurl {
-      url = http://ftp.gnome.org/pub/GNOME/desktop/2.14/2.14.2/sources/zenity-2.14.2.tar.bz2;
-      md5 = "35fe28593effb339e0a6b152eb8050bf";
-    };
-  };
-}