args: with args; fetchurl { 
  url = http://mawercer.de/~nix/repos/happs_ixset.tar.gz;
  sha256 = "80c857775cccdff49c55f28be069b53e14653b2812808ef9b4456aa500431241";}