package coq-lsp

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

Install

github.com 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

0.1.6.1+8.16.tar.gz
sha256=714e28280df575a9aac5c382bfbaee2815ee278d11782f670d220372892554a3
sha512=ba713ecfb2f1f097c0a355991f65f3b8e46453efb08ee78073d9d9504225b83208907f2c6dfa39256fb9a34bece81fccbeb05b59f6c0f0e1729221c5ef1d97b8

Description

Language Server Protocol native server for Coq

Published: 22 Feb 2023

Dependencies (10)

  1. camlp-streams >= "5.0"
  2. coq-serapi >= "8.16.0+0.16.2" & < "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