diff options
-rwxr-xr-x | dune-project | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/dune-project b/dune-project index c2c5fad..090795c 100755 --- a/dune-project +++ b/dune-project @@ -34,6 +34,16 @@ ) (package + (name motus) + (synopsis "Motus solver") + (depends + (ocaml (>= 4.10.0)) + (brr (>= 0.0.1)) + (ppx_deriving (>= 5.2.1)) + ) + ) + +(package (name viz.js) (synopsis "Graph viewer") (depends |