packages feed

liquidhaskell-0.8.10.7: shell.nix

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

with pkgs;

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

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

}