{stdenv, fetchurl} : {

  gnomeicontheme = {
    name = "gnome-icon-theme-2.8.0";
    src = fetchurl {
      url = http://catamaran.labs.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://catamaran.labs.cs.uu.nl/dist/tarballs/gnome-keyring-0.4.1.tar.bz2;
      md5 = "031901a50273cc5a39b1305924613a1b";
    };
  };

  gtkhtml = {
    name = "gtkhtml-3.2.5";
    src = fetchurl {
      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gtkhtml-3.2.5.tar.bz2;
      md5 = "86e1ce32fed536bce5b2d6e8d41b0c65";
    };
  };

  libgtkhtml = {
    name = "libgtkhtml-2.6.3";
    src = fetchurl {
      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libgtkhtml-2.6.3.tar.bz2;
      md5 = "c77789241d725e189ffc0391eda94361";
    };
  };

  gtksourceview = {
    name = "gtksourceview-1.1.1";
    src = fetchurl {
      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gtksourceview-1.1.1.tar.bz2;
      md5 = "2e59c8748594181d4bf452320c8c3b5c";
    };
  };

  scrollkeeper = {
    name = "scrollkeeper-0.3.14";
    src = fetchurl {
      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/scrollkeeper-0.3.14.tar.gz;
      md5 = "161eb3f29e30e7b24f84eb93ac696155";
    };
  };
  
  gnomedesktop = {
    name = "gnome-desktop-2.8.3";
    src = fetchurl {
      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gnome-desktop-2.8.3.tar.bz2;
      md5 = "607f8689f931336ad9a1f3f41d98a9c7";
    };
  };
  
  libwnck = {
    name = "libwnck-2.8.1";
    src = fetchurl {
      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libwnck-2.8.1.tar.bz2;
      md5 = "c0a5a8478064287e167c15e3ec0e82a1";
    };
  };
  
  gnomepanel = {
    name = "gnome-panel-2.8.3";
    src = fetchurl {
      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gnome-panel-2.8.3.tar.bz2;
      md5 = "d76a09c321e02c18e0fdecb86677550d";
    };
  };
  
}