path: root/dev/ci/nix/quickchick.nix

{ ocamlPackages, ssreflect, coq-ext-lib, simple-io }:
{
  buildInputs = with ocamlPackages; [ ocaml findlib ocamlbuild num ];
  coqBuildInputs = [ ssreflect coq-ext-lib simple-io ];
}