args: with args; fetchurl { 
  url = http://mawercer.de/~nix/repos/happs_data.tar.gz;
  sha256 = "26aec1571b1c1e69bf5a79fa6b3346e7493e3a4e00efe4c23a57b04e35e8d5a3";}