diff options
Diffstat (limited to 'pkgs/development/libraries/gnome/src-gnome-desktop-2.8.3.nix')
-rw-r--r-- | pkgs/development/libraries/gnome/src-gnome-desktop-2.8.3.nix | 75 |
1 files changed, 0 insertions, 75 deletions
diff --git a/pkgs/development/libraries/gnome/src-gnome-desktop-2.8.3.nix b/pkgs/development/libraries/gnome/src-gnome-desktop-2.8.3.nix deleted file mode 100644 index 2423d4a8933..00000000000 --- a/pkgs/development/libraries/gnome/src-gnome-desktop-2.8.3.nix +++ /dev/null @@ -1,75 +0,0 @@ -{stdenv, fetchurl} : { - - gnomeicontheme = { - name = "gnome-icon-theme-2.8.0"; - src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/gnome-icon-theme-2.8.0.tar.bz2; - md5 = "7be016337c44c024fb22f7b94b689d7b"; - }; - }; - - gnomekeyring = { - name = "gnome-keyring-0.4.1"; - src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/gnome-keyring-0.4.1.tar.bz2; - md5 = "031901a50273cc5a39b1305924613a1b"; - }; - }; - - gtkhtml = { - name = "gtkhtml-3.2.5"; - src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/gtkhtml-3.2.5.tar.bz2; - md5 = "86e1ce32fed536bce5b2d6e8d41b0c65"; - }; - }; - - libgtkhtml = { - name = "libgtkhtml-2.6.3"; - src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/libgtkhtml-2.6.3.tar.bz2; - md5 = "c77789241d725e189ffc0391eda94361"; - }; - }; - - gtksourceview = { - name = "gtksourceview-1.1.1"; - src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/gtksourceview-1.1.1.tar.bz2; - md5 = "2e59c8748594181d4bf452320c8c3b5c"; - }; - }; - - scrollkeeper = { - name = "scrollkeeper-0.3.14"; - src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/scrollkeeper-0.3.14.tar.gz; - md5 = "161eb3f29e30e7b24f84eb93ac696155"; - }; - }; - - gnomedesktop = { - name = "gnome-desktop-2.8.3"; - src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/gnome-desktop-2.8.3.tar.bz2; - md5 = "607f8689f931336ad9a1f3f41d98a9c7"; - }; - }; - - libwnck = { - name = "libwnck-2.8.1"; - src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/libwnck-2.8.1.tar.bz2; - md5 = "c0a5a8478064287e167c15e3ec0e82a1"; - }; - }; - - gnomepanel = { - name = "gnome-panel-2.8.3"; - src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/gnome-panel-2.8.3.tar.bz2; - md5 = "d76a09c321e02c18e0fdecb86677550d"; - }; - }; - -} \ No newline at end of file |