{pkgs ? import ./nixpkgs.nix {}}:

with pkgs;

mkShell {
  LANG="C.UTF-8";

  buildInputs = [
    less
    git
    nix
    stack
    z3
    which
    glibcLocales
    cacert
  ];

}

{pkgs ? import ./nixpkgs.nix {}}:

with pkgs;

mkShell {
  LANG="C.UTF-8";

  buildInputs = [
    less
    git
    hostname
    nix
    stack
    z3
    which
    glibcLocales
    cacert
  ];

}

Add hostname for nix configuration, which is needed for tests.
Add hostname for nix configuration, which is needed for tests.
