diff options
| author | Vincent Laporte | 2018-03-23 07:28:41 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-03-23 07:28:41 +0000 |
| commit | 7e98fdd498c18f2369f43919e87703b196acc1aa (patch) | |
| tree | 76b47da40d33d6916078ce3f86720e7b5fa0b6da | |
| parent | cbd6e207006b0aca56d4b2400c5b0b2e8e88c49a (diff) | |
| parent | f148d4bbac22e2d149d4b540cf8daa9488dd76d9 (diff) | |
Merge PR #7030: [default.nix] Add dependencies of the merging script.
| -rw-r--r-- | default.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/default.nix b/default.nix index 9d93abe746..26c6e4b901 100644 --- a/default.nix +++ b/default.nix @@ -73,6 +73,13 @@ stdenv.mkDerivation rec { ocamlPackages.merlin ocamlPackages.ocpIndent ocamlPackages.ocp-index + + # Dependencies of the merging script + jq + curl + git + gnupg + ] else []); src = |