this repo has no description
Merge pull request #26602 from vscoqbot/opam-publish-vscoq-language-server.2.2.1
Package vscoq-language-server.2.2.1
authored by
Shon Feder
and committed by
GitHub
5e7a27da
a2d1b953
+44
+44
packages/vscoq-language-server/vscoq-language-server.2.2.1/opam
+44
packages/vscoq-language-server/vscoq-language-server.2.2.1/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.2.1/vscoq-language-server-2.2.1.tar.gz"
40
+
checksum: [
41
+
"md5=06737aa7d96bbf42f89db3c86ef3e4dd"
42
+
"sha512=5118f26e5b687bc918de3409870464702f3fafc0c775ad5fac4835fc7954df66beaf83bc3a413476176160773215aae1d292816c49dc192c94566bba0fbe5a5b"
43
+
]
44
+
}