args: with args; fetchurl { 
  url = http://mawercer.de/~nix/repos/ghc_lambdavm.tar.gz;
  sha256 = "3d10e839b8226987383e870258ff38b56442ff254688f7c50983850676f992cb";}