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.14" }
14 "dune" { >= "3.5" }
15 "coq-core" { ((>= "8.18" < "9.1") | (= "dev")) }
16 "coq-stdlib" { ((>= "8.18" < "9.1") | (= "dev")) }
17 "yojson"
18 "jsonrpc" { >= "1.15"}
19 "ocamlfind"
20 "ppx_inline_test"
21 "ppx_assert"
22 "ppx_sexp_conv"
23 "ppx_deriving"
24 "sexplib"
25 "ppx_yojson_conv"
26 "ppx_import"
27 "ppx_optcomp"
28 "result" { >= "1.5" }
29 "lsp" { >= "1.15"}
30 "sel" {>= "0.6.0"}
31]
32synopsis: "VSCoq language server"
33available: arch != "arm32" & arch != "x86_32"
34description: """
35LSP based language server for Coq and its VSCoq user interface
36"""
37url {
38 src:
39 "https://github.com/coq/vscoq/releases/download/v2.2.5/vscoq-language-server-2.2.5.tar.gz"
40 checksum: [
41 "md5=8bc848aaf2ad0fe41a02741e633ad7e3"
42 "sha512=eb6c80a3290b1d688ea3b94a3087f204c9f9f03bddd95b21952b02af1dc4de073c1b99baed5a5f6a395e69a27c0d45f6ec181488da62e9f5c6a77d91d752dd5c"
43 ]
44}