this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
3authors: [ "Enrico Tassi" "Maxime Dénès" "Romain Tetley" ]
4license: "MIT"
5homepage: "https://github.com/coq-community/vscoq"
6bug-reports: "https://github.com/coq-community/vscoq/issues"
7dev-repo: "git+https://github.com/coq-community/vscoq"
8
9build: [
10 [ "dune" "build" "-p" name "-j" jobs ]
11]
12depends: [
13 "ocaml" { >= "4.13.1" }
14 "dune" { >= "3.2" }
15 "coq-core" { >= "8.18" < "8.19" }
16 "coq-stdlib" { >= "8.18" < "8.19" }
17 "yojson"
18 "jsonrpc" { >= "1.15"}
19 "ocamlfind"
20 "ppx_inline_test"
21 "ppx_assert"
22 "ppx_sexp_conv"
23 "ppx_yojson_conv" {< "v0.16.0"}
24 "ppx_deriving"
25 "sexplib"
26 "ppx_yojson_conv"
27 "ppx_import"
28 "result" { >= "1.5" }
29 "lsp" { >= "1.15" & < "1.19.0" }
30 "sel" {>= "0.4.0"}
31]
32synopsis: "VSCoq language server"
33description: """
34LSP based language server for Coq and its VSCoq user interface
35"""
36url {
37 src:
38 "https://github.com/coq-community/vscoq/releases/download/v2.0.3+coq8.18/vscoq-language-server-2.0.3-coq8.18.tar.gz"
39 checksum: [
40 "md5=37688b8df4ccfc920a57552d0ebc0d3a"
41 "sha512=0db05bdfc4409cf8e5a43d191220b4ebd47978bcbb6fd41075ee745dd448b75e98677c81657809c30627c875e5fd54fbef180e6d30cb0a8e56ca26cbf8c5adb8"
42 ]
43}