1 2 3 4 5 6 7
with import <nixpkgs> {}; mkShell { buildInputs = [ coq_8_10 ocamlPackages.menhir dune ocaml ocamlPackages.findlib ]; }