Description

Language Server Protocol native server for Coq

Published: 24 Nov 2022

Dependencies (7)

  1. yojson >= "1.7.0"
  2. cmdliner >= "1.1.0"
  3. camlp-streams >= "5.0"
  4. coq-serapi >= "8.16.0" & < "8.17"
  5. coq >= "8.16.0" & < "8.17"
  6. dune >= "3.0.2"
  7. ocaml >= "4.13.1"

Development Dependencies

    None

Reverse Dependencies

    None

Conflicts

    None
Language Server Protocol native server for Coq

Install

Documentation github.com Readme Changelog LGPL-2.1-or-later License Edit opam file

Authors

  1. E
    Emilio Jesús Gallego Arias <e@x80.org>

Maintainers

  1. E
    e@x80.org

Sources

coq-lsp-0.1.0.tbz
sha256=d2e95a517ff35f59150c4f8399dc23899923a9cc93fce190efaa05422d3bbcf5
sha512=5593afa6fef241a63cf685fe6e4af42482884aa9078d080503f1aa7987da5f96cc95ddb48b1393ac1bd240e3510f4f7a61fe83882c0f5f8a38c0279eed4a0a11