diff options
Diffstat (limited to 'default.nix')
| -rw-r--r-- | default.nix | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/default.nix b/default.nix index fa60637..0e5b40d 100644 --- a/default.nix +++ b/default.nix @@ -9,11 +9,12 @@ stdenv.mkDerivation { buildInputs = [ ncoq dune_2 gcc ncoq.ocaml ncoq.ocamlPackages.findlib ncoq.ocamlPackages.menhir - ncoq.ocamlPackages.ocamlgraph - ncoqPackages.serapi - python3 python3Packages.docutils python3Packages.pygments - python3Packages.dominate - python3Packages.pelican + ncoq.ocamlPackages.ocamlgraph ncoq.ocamlPackages.merlin + + ncoqPackages.serapi + python3 python3Packages.docutils python3Packages.pygments + python3Packages.dominate + python3Packages.pelican ]; enableParallelBuilding = true; |