aboutsummaryrefslogtreecommitdiffhomepage
path: root/default.nix
diff options
context:
space:
mode:
authorGravatar Vincent Laporte <Vincent.Laporte@gmail.com>2018-05-29 08:25:20 +0000
committerGravatar Vincent Laporte <Vincent.Laporte@gmail.com>2018-05-29 08:40:29 +0000
commit0a936017ee420ef4af82c9bf32c200ad7a7277bb (patch)
treefc5d4e901810265bd0081f23c0f2e739a51d1297 /default.nix
parentba809fa844b517e8a3606d9f6a6cac22e5585e27 (diff)
[default.nix] Drop dependency to ocp-index
Diffstat (limited to 'default.nix')
-rw-r--r--default.nix1
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