aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--default.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/default.nix b/default.nix
index 589d1fff81..eeab388cb4 100644
--- a/default.nix
+++ b/default.nix
@@ -67,6 +67,7 @@ stdenv.mkDerivation rec {
++ optionals shell (
[ jq curl gitFull gnupg ] # Dependencies of the merging script
++ (with ocamlPackages; [ merlin ocp-indent ocp-index utop ]) # Dev tools
+ ++ [ graphviz ] # Useful for STM debugging
);
src =