nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-04 14:00:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

ocamlPackages.{vscoq,vsrocq}-language-server: use yojson 3.0.0

Browse Source 
Remove the ppx_yojson_conv_lib.override { yojson = yojson_2; } workaround
now that lsp and jsonrpc build against yojson 3.0.0 directly.

Assisted-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This commit is contained in:
Olivier Nicole
2026-06-30 15:15:24 +02:00
parent b2552e5ca0
commit 4fe36bc26d
2 changed files with 2 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/rocq-modules/vscoq-language-server/default.nix
View File

@@ -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

4
pkgs/development/rocq-modules/vsrocq-language-server/default.nix
View File

@@ -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