this repo has no description
Merge pull request #26336 from vscoqbot/opam-publish-vscoq-language-server.2.1.7
Package vscoq-language-server.2.1.7
authored by
Marcello Seri
and committed by
GitHub
e57adaa1
750ce939
+44
+44
packages/vscoq-language-server/vscoq-language-server.2.1.7/opam
+44
packages/vscoq-language-server/vscoq-language-server.2.1.7/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
3
+
authors: [ "Enrico Tassi" "Maxime Dénès" "Romain Tetley" ]
4
+
license: "MIT"
5
+
homepage: "https://github.com/coq-community/vscoq"
6
+
bug-reports: "https://github.com/coq-community/vscoq/issues"
7
+
dev-repo: "git+https://github.com/coq-community/vscoq"
8
+
9
+
build: [
10
+
[ "dune" "build" "-p" name "-j" jobs ]
11
+
]
12
+
depends: [
13
+
"ocaml" { >= "4.14" }
14
+
"dune" { >= "3.5" }
15
+
"coq-core" { ((>= "8.18" < "8.21") | (= "dev")) }
16
+
"coq-stdlib" { ((>= "8.18" < "8.21") | (= "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" < "1.19"}
30
+
"sel" {>= "0.4.0"}
31
+
]
32
+
synopsis: "VSCoq language server"
33
+
available: arch != "arm32" & arch != "x86_32"
34
+
description: """
35
+
LSP based language server for Coq and its VSCoq user interface
36
+
"""
37
+
url {
38
+
src:
39
+
"https://github.com/coq-community/vscoq/releases/download/v2.1.7/vscoq-language-server-2.1.7.tar.gz"
40
+
checksum: [
41
+
"md5=81c195fcbe9b23c26db9704a0b8e37f8"
42
+
"sha512=9b175796b231e3663b1cdd546fde898c1d19a6a4eb16671970797045e0e29acc008630634f0d15fa34a94ccc14a0c16d3851efbf0b74f3e1ac6ada1f1461f7e1"
43
+
]
44
+
}