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