diff options
| author | Vincent Laporte | 2018-05-29 08:25:20 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-05-29 08:40:29 +0000 |
| commit | 0a936017ee420ef4af82c9bf32c200ad7a7277bb (patch) | |
| tree | fc5d4e901810265bd0081f23c0f2e739a51d1297 | |
| parent | ba809fa844b517e8a3606d9f6a6cac22e5585e27 (diff) | |
[default.nix] Drop dependency to ocp-index
| -rw-r--r-- | default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/default.nix b/default.nix index b9b7ff32d2..874ca7bb54 100644 --- a/default.nix +++ b/default.nix @@ -69,7 +69,6 @@ stdenv.mkDerivation rec { ] else []) ++ (if lib.inNixShell then [ ocamlPackages.merlin ocamlPackages.ocpIndent - ocamlPackages.ocp-index # Dependencies of the merging script jq |