Remove unneeded dependencies, as they trigger a bug in Dune.

coq · Dec 15, 2021 · 82f9ba7 · 82f9ba7
1 parent cda6ff7
commit 82f9ba7
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/default.nix b/default.nix
@@ -18,8 +18,6 @@ stdenv.mkDerivation rec {
     opam-file-format
     yojson
     ppx_deriving_yojson
-    merlin
-    ocp-indent
     opam
     opam-core
   ]);