-
Notifications
You must be signed in to change notification settings - Fork 1
/
dune-project
30 lines (27 loc) · 702 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
(lang dune 3.3)
(using menhir 2.1)
(generate_opam_files true)
(name kappa-trace-queries)
(authors "Jonathan Laurent")
(maintainers "[email protected]")
(package
(name kappa-trace-queries)
(version 0.3)
(allow_empty)
(synopsis "The Kappa Trace Query Language")
(source (github "jonathan-laurent/KaTie"))
(description
"\| A unified language for querying causal patterns
"\| in simulation traces of Kappa models
)
(depends
(ocaml (>= 4.14.1))
(kappa-library (>= 4.1~dev))
(kappa-binaries (>= 4.1~dev))
(ANSITerminal (>= 0.8.5))
(fmt (>= 0.9.0))
(ppx_yojson_conv_lib (>= 0.15.0))
(ppx_yojson_conv (>= 0.15.1))
(ppx_deriving (>= 5.2.1))
(menhir (>= 20220210))
))