this repo has no description
Merge pull request #27504 from vscoqbot/opam-publish-vscoq-language-server.2.2.5
authored by
Shon Feder
and committed by
GitHub
9e4ac297
1d1ea284
+44
+44
packages/vscoq-language-server/vscoq-language-server.2.2.5/opam
+44
packages/vscoq-language-server/vscoq-language-server.2.2.5/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"}
30
+
"sel" {>= "0.6.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/vscoq/releases/download/v2.2.5/vscoq-language-server-2.2.5.tar.gz"
40
+
checksum: [
41
+
"md5=8bc848aaf2ad0fe41a02741e633ad7e3"
42
+
"sha512=eb6c80a3290b1d688ea3b94a3087f204c9f9f03bddd95b21952b02af1dc4de073c1b99baed5a5f6a395e69a27c0d45f6ec181488da62e9f5c6a77d91d752dd5c"
43
+
]
44
+
}