-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcn-lsp.opam.locked-4.14.1
95 lines (95 loc) · 2.14 KB
/
cn-lsp.opam.locked-4.14.1
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
opam-version: "2.0"
name: "cnlsp"
version: "dev"
synopsis: "CN Language Server"
description: "A language server protocol implementation for the CN language"
maintainer: "Sam Cowger"
authors: "Sam Cowger"
depends: [
"base" {= "v0.16.3"}
"base-bigarray" {= "base"}
"base-bytes" {= "base"}
"base-threads" {= "base"}
"base-unix" {= "base"}
"cerberus" {= "b9daa22"}
"cerberus-lib" {= "b9daa22"}
"cmdliner" {= "1.3.0"}
"cn" {= "b9daa22"}
"conf-bash" {= "1"}
"conf-findutils" {= "1"}
"conf-gmp" {= "4"}
"conf-pkg-config" {= "3"}
"cppo" {= "1.7.0"}
"csexp" {= "1.5.2"}
"dune" {= "3.16.1"}
"dune-configurator" {= "3.16.1"}
"jsonrpc" {= "1.17.0"}
"lem" {= "2022-12-10"}
"linol" {= "0.6"}
"linol-lwt" {= "0.6"}
"logs" {= "0.7.0"}
"lsp" {= "1.17.0"}
"lwt" {= "5.8.0"}
"menhir" {= "20240715"}
"menhirCST" {= "20240715"}
"menhirLib" {= "20240715"}
"menhirSdk" {= "20240715"}
"monomorphic" {= "2.1.0"}
"num" {= "1.5-1"}
"ocaml" {= "4.14.1"}
"ocaml-base-compiler" {= "4.14.1"}
"ocaml-compiler-libs" {= "v0.12.4"}
"ocaml-config" {= "2"}
"ocaml-options-vanilla" {= "1"}
"ocamlbuild" {= "0.15.0"}
"ocamlfind" {= "1.9.6"}
"ocamlgraph" {= "2.1.0"}
"ocplib-endian" {= "1.2"}
"parsexp" {= "v0.16.0"}
"pprint" {= "20230830"}
"ppx_derivers" {= "1.2.1"}
"ppx_deriving" {= "6.0.3"}
"ppx_deriving_yojson" {= "3.9.0"}
"ppx_sexp_conv" {= "v0.16.0"}
"ppx_yojson_conv_lib" {= "v0.16.0"}
"ppxlib" {= "0.33.0"}
"result" {= "1.5"}
"seq" {= "base"}
"sexplib" {= "v0.16.0"}
"sexplib0" {= "v0.16.0"}
"sha" {= "1.15.4"}
"stdlib-shims" {= "0.3.0"}
"topkg" {= "1.0.7"}
"trace" {= "0.8"}
"uutf" {= "1.0.3"}
"yojson" {= "2.2.2"}
"zarith" {= "1.14"}
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
pin-depends: [
[
"cerberus.b9daa22"
"git+https://github.com/rems-project/cerberus.git#b9daa22"
]
[
"cerberus-lib.b9daa22"
"git+https://github.com/rems-project/cerberus.git#b9daa22"
]
[
"cn.b9daa22"
"git+https://github.com/rems-project/cerberus.git#b9daa22"
]
]