{stdenv, fetchurl, libstdcpp5, glib, pango, atk, gtk, libX11}: # Note that RealPlayer 10 need libstdc++.so.5, i.e., GCC 3.3, not 3.4. assert stdenv.system == "i686-linux"; (stdenv.mkDerivation { name = "RealPlayer-10.0.3.748-GOLD"; builder = ./builder.sh; src = fetchurl { url = http://software-dl.real.com/01f1001c4b44265b0020/unix/RealPlayer10GOLD.bin; md5 = "5f04938c28395ace2af822dd1bd57f5a"; }; makeWrapper = ../../../build-support/make-wrapper/make-wrapper.sh; inherit libstdcpp5; libPath = [libstdcpp5 glib pango atk gtk libX11]; }) // {mozillaPlugin = "/real/mozilla";}