diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-05-29 08:25:20 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-05-29 08:40:29 +0000 |
commit | 0a936017ee420ef4af82c9bf32c200ad7a7277bb (patch) | |
tree | fc5d4e901810265bd0081f23c0f2e739a51d1297 /default.nix | |
parent | ba809fa844b517e8a3606d9f6a6cac22e5585e27 (diff) |
[default.nix] Drop dependency to ocp-index
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/default.nix b/default.nix index b9b7ff32d..874ca7bb5 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 |