diff options
| author | Maxime Dénès | 2017-12-11 09:21:45 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-12-11 09:21:45 +0100 |
| commit | 9dbca7f26198fb3cf2059adcb8519d8c4f157a5e (patch) | |
| tree | 17143761d87138d5e7b38ef6f76b49eb964bca4a | |
| parent | 28fabbb1fbc35044fd257a2cad07fb70778c67fe (diff) | |
| parent | 2f7b3abe3edbb681586735482351a814e9c31843 (diff) | |
Merge PR #6340: [default.nix] Add ocpIndent and ocp-index.
| -rw-r--r-- | default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/default.nix b/default.nix index 5b5304e5a0..3dd24bac4d 100644 --- a/default.nix +++ b/default.nix @@ -55,6 +55,8 @@ stdenv.mkDerivation rec { ] else []) ++ (if lib.inNixShell then [ ocamlPackages.merlin + ocamlPackages.ocpIndent + ocamlPackages.ocp-index ] else []); src = |