Unverified Commit be92f500 authored by Vincent Laporte's avatar Vincent Laporte
Browse files

coqPackages.coq-lsp: add missing dependency (result)

parent 5c6590d4

pkgs/development/coq-modules/coq-lsp/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -32,7 +32,7 @@ 
  '';



  propagatedBuildInputs =

    with coq.ocamlPackages; [ dune-build-info menhir uri yojson ];

    with coq.ocamlPackages; [ dune-build-info menhir result uri yojson ];



  meta = with lib; {

    description = "Language Server Protocol and VS Code Extension for Coq";