diff --git a/pkgs/development/rocq-modules/vscoq-language-server/default.nix b/pkgs/development/rocq-modules/vscoq-language-server/default.nix index af1106de9f03..e20c956507bb 100644 --- a/pkgs/development/rocq-modules/vscoq-language-server/default.nix +++ b/pkgs/development/rocq-modules/vscoq-language-server/default.nix @@ -67,9 +67,7 @@ ocamlPackages.buildDunePackage { ppx_deriving ppx_import sexplib - (ppx_yojson_conv.override { - ppx_yojson_conv_lib = ppx_yojson_conv_lib.override { yojson = yojson_2; }; - }) + ppx_yojson_conv lsp sel ppx_optcomp diff --git a/pkgs/development/rocq-modules/vsrocq-language-server/default.nix b/pkgs/development/rocq-modules/vsrocq-language-server/default.nix index b65295d03b47..8818677795b6 100644 --- a/pkgs/development/rocq-modules/vsrocq-language-server/default.nix +++ b/pkgs/development/rocq-modules/vsrocq-language-server/default.nix @@ -58,9 +58,7 @@ ocamlPackages.buildDunePackage { ppx_deriving ppx_import sexplib - (ppx_yojson_conv.override { - ppx_yojson_conv_lib = ppx_yojson_conv_lib.override { yojson = yojson_2; }; - }) + ppx_yojson_conv lsp sel ppx_optcomp