package coq-lsp

  1. Overview
  2. Docs
Language Server Protocol native server for Coq

Install

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

Authors

  1. E
    Emilio Jesús Gallego Arias <e@x80.org>
  2. A
    Ali Caglayan <alizter@gmail.com>
  3. S
    Shachar Itzhaky <shachari@cs.technion.ac.il>
  4. R
    Ramkumar Ramachandra <r@artagnon.com>

Maintainers

  1. E
    e@x80.org

Sources

coq-lsp-0.1.7.8.16.tbz
sha256=6a88fdb3e42994204f5d2cbc8f4e7da2ac7cf28568a93c8455464c05d1087022
sha512=38c417cc28a3a0d5eb4305ee5239a0cda6ba425d7f22a17f8d3ec7b9baf27598f57fd9d5ee9a44584a3730b6105128f774abeaf2eb560cfc8bb612aa95fcc0b7

Description

Language Server Protocol native server for Coq

Published: 11 Jul 2023

Dependencies (10)

  1. camlp-streams >= "5.0"
  2. coq-serapi >= "8.16.0" & < "8.17"
  3. coq >= "8.16.0" & < "8.17"
  4. menhir >= "20220210"
  5. dune-build-info >= "3.2.0"
  6. uri >= "4.2.0"
  7. yojson >= "1.7.0"
  8. cmdliner >= "1.1.0"
  9. dune >= "3.2.0"
  10. ocaml >= "4.11.0"

Dev Dependencies

None

Used by

None

Conflicts

None