liquidhaskell-0.8.10.7: shell-stack.nix

{ pkgs ?  import ./nixpkgs.nix {}
, ghc ? pkgs.haskell.compiler.ghc8102
}:

with pkgs;

haskell.lib.buildStackProject ({
  name = "liquidhaskell-stack";
  buildInputs = [ git z3 hostname ];
  ghc = ghc;
  LANG = "en_US.utf8";
})