aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdune-project10
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