diff --git a/flake.nix b/flake.nix
index 5d7c5ac..70d7966 100644
--- a/flake.nix
+++ b/flake.nix
@@ -20,6 +20,10 @@
           rocqPackages.rocq-core
           rocqPackages.stdlib
           rocqPackages.vsrocq-language-server
+
+          ocaml
+          ocamlPackages.ocaml-lsp
+          ocamlPackages.ocamlformat
         ];
       };
     });