path: root/dev/ci/nix/simple-io.nix

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