diff options
| author | Vincent Laporte | 2018-09-11 09:43:04 +0200 |
|---|---|---|
| committer | Vincent Laporte | 2018-09-11 09:43:04 +0200 |
| commit | 356a421695706e14781d581d1908e07bdd3f237a (patch) | |
| tree | e96bde34a8d6cbfa822b7ac00edf4d72df8c084a | |
| parent | 2489a43dfcfa086bb0785714345bf2c143fa1ac4 (diff) | |
| parent | b2eebb7d3235f68900cc42047a1415aefa754bdf (diff) | |
Merge PR #8448: Have `gitFull` in the nix-shell
| -rw-r--r-- | default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.nix b/default.nix index 80dca47f69..6f759f41d1 100644 --- a/default.nix +++ b/default.nix @@ -75,7 +75,7 @@ stdenv.mkDerivation rec { ++ [ ocamlPackages.ounit rsync which ] ) ++ optionals shell ( - [ jq curl git gnupg ] # Dependencies of the merging script + [ jq curl gitFull gnupg ] # Dependencies of the merging script ++ (with ocamlPackages; [ merlin ocp-indent ocp-index utop ]) # Dev tools ); |