1 2 3 4 5 6 7 8 9
with import <nixpkgs> {}; stdenv.mkDerivation { name = "CoqUp"; src = ./.; buildInputs = [ coq_8_10 ocamlPackages.menhir dune ocaml ocamlPackages.findlib ]; }