diff --git a/desktop/software/development.nix b/desktop/software/development.nix index c54bc73..e4f542b 100644 --- a/desktop/software/development.nix +++ b/desktop/software/development.nix @@ -50,6 +50,7 @@ in mkhl.direnv ms-python.python ms-toolsai.jupyter + ocamllabs.ocaml-platform # ms-vscode-remote.remote-ssh ]; };