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