diff options
| author |  Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-07-03 10:33:12 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-07-03 10:33:12 +0000 |
| commit | dbba44b5ea7608a66989b7fb065a0ef0b46ca7fe (patch) | |
| tree | 1fd8f240389f279defb263205775578b42ef5396 | |
| parent | 543aa308f4adcd6365b2390e258dde1e3f21b861 (diff) | |
| parent | 3c269d6a79d602fee440b61431b6fba8a8479113 (diff) | |
Merge PR #7974: Fix default.nix following a package renaming.
| -rw-r--r-- | default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/default.nix b/default.nix index 91d963604..a2645f4fc 100644 --- a/default.nix +++ b/default.nix @@ -71,7 +71,8 @@ stdenv.mkDerivation rec { ] else []) ++ (if lib.inNixShell then [ ocamlPackages.merlin - ocamlPackages.ocpIndent + ocamlPackages.ocp-indent + ocamlPackages.ocp-index # Dependencies of the merging script jq |