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

with pkgs;

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

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

with pkgs;

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

Add cacert to suppress message from Nix when downloading nixpkgs
Add cacert to suppress message from Nix when downloading nixpkgs
