diff --git a/playbooks/box.yml b/playbooks/box.yml index 5f5a3b2..8b943ad 100644 --- a/playbooks/box.yml +++ b/playbooks/box.yml @@ -12,7 +12,7 @@ - cli vars_prompt: - name: tools_in - prompt: "Specify comma separated list of required tool packages (cpp, js, haskell, txt, lang)" + prompt: "Specify comma separated list of required tool packages (cpp, js, haskell, ocaml, coq, txt, lang, truffle)" pre_tasks: - name: Get tools list ansible.builtin.set_fact: