-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathdune-project
151 lines (140 loc) · 2.23 KB
/
dune-project
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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
(lang dune 3.8)
(name ligo)
(generate_opam_files true)
(source
(gitlab ligolang/ligo))
(authors "Gabriel Alfour" "Christian Rinderknecht")
(maintainers
"LigoLang <[email protected]>"
"TriliTech <[email protected]>")
(homepage "https://ligolang.org")
(bug_reports "https://gitlab.com/ligolang/ligo/issues")
(license MIT)
(using menhir 2.0)
(using coq 0.8)
(using ctypes 0.3)
(package
(name ligo)
(synopsis "A high-level language which compiles to Michelson")
; When modifying the dependencies, don't forget to run `make lock`
(depends
(core
(>= v0.16.0))
(core_unix
(>= v0.16.0))
(core_kernel
(>= v0.16.0))
ocamlgraph
(menhir
(= 20230608))
bos
qcheck
terminal_size
pprint
yojson
semver
uri
tls
decompress
(tar
(= 2.6.0))
(tar-unix
(= 2.6.0))
lambda-term
parse-argv
msgpck
(bin_prot
(>= v0.16.0))
(ppx_bin_prot
(>= v0.16.0))
ppx_deriving
ppx_deriving_yojson
ppx_yojson_conv
ppx_import
(asetmap
(= 0.8.1))
(prometheus
(>= 1.2))
(lwt
(= 5.7.0))
lwt_ppx
(bisect_ppx
(>= 2.3.0))
irmin
(cmdliner
(= 1.1.0))
ocaml-compiler-libs
simple-diff
stdint
(ocaml-migrate-parsetree
(= 2.3.0))
alcotest-lwt
qcheck-alcotest
irmin-pack
pure-splitmix
; cohttp-server-lwt-unix
; resto-cohttp-self-serving-client
crunch
class_group_vdf
hex
lwt-canceler
lwt-exit
logs
cohttp
conduit-lwt-unix
magic-mime
seqes
ctypes_stubs_js
ctypes
ctypes-foreign
hacl-star-raw
hacl-star
secp256k1-internal
(mtime
(>= 2.0.0))
(zarith
(= 1.13))
(tezt
(and
(>= 4.0.0)
(< 5.0.0)))
(ocamlformat
(= 0.21.0))
(ocamlformat-rpc
(= 0.21.0))
(ocaml-lsp-server
(>= 1.14.0))
(lsp
(and
(>= 1.17)
(< 1.18)))
aches-lwt
fileutils
(conduit
(= 6.1.0))
(ocaml-recovery-parser
(= 0.2.4))
(linol
(= 0.5))
(linol-lwt
(= 0.5))
grace
; For building, testing, or documentation
(dune
(>= 3.8 :build))
(coq
(and
(>= 8.12)
(< 8.14)
:build))
(alcotest :with-test)
(ppx_expect :with-test)
(ppx_inline_test :with-test)
(odoc :with-test)
; For dev
(ocamlformat
(= 0.21.0 :dev))
(ocaml-lsp-server
(>= 1.14.0 :dev))
(ocamlformat-rpc
(= 0.21.0 :dev))))