args: with args; fetchurl { 
  url = http://mawercer.de/~nix/repos/hsql.tar.gz;
  sha256 = "9856e6811a4fc78bf55a1c4bb08091075a343995696b7026a0ef0dae91abc99a";}