-
Notifications
You must be signed in to change notification settings - Fork 8
/
dune-project
44 lines (40 loc) · 792 Bytes
/
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
(lang dune 3.1)
(cram enable)
(using menhir 2.0)
(name mtt)
(implicit_transitive_deps true)
(license MIT)
(maintainers "Anton Trunov")
(authors "Anton Trunov")
(source (github anton-trunov/mtt))
(generate_opam_files true)
(package
(name mtt)
(synopsis "Modal Type Theory")
(description "
Based on Modal Type Theory as given by F. Pfenning et al.")
(depends
(base (and (>= v0.12.2) (< v0.15.0)))
cmdliner
(dune (>= 2.0))
js_of_ocaml
js_of_ocaml-compiler
js_of_ocaml-lwt
js_of_ocaml-tyxml
js_of_ocaml-ppx
lambda-term
(menhir (>= 20201201))
(ocaml (>= 4.08.1))
(ocamlformat (and :with-test (= 0.21.0)))
(pprint (>= 20220103))
ppx_compare
ppx_let
ppx_sexp_conv
ppx_string_interpolation
qcheck
sedlex
sexplib
stdio
zarith
zarith_stubs_js
))