aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
Diffstat (limited to 'dune-project')
-rwxr-xr-xdune-project25
1 files changed, 21 insertions, 4 deletions
diff --git a/dune-project b/dune-project
index 090795c..20e33c1 100755
--- a/dune-project
+++ b/dune-project
@@ -9,7 +9,8 @@
(synopsis "Calligraphy app")
(depends
(ocaml (>= 4.10.0))
- (brr (>= 0.0.1))
+ (brr (>= 0.0.6))
+ (note (>= 0.0.3))
(gg (>= 0.9.3))
)
)
@@ -19,7 +20,8 @@
(synopsis "Text editor")
(depends
(ocaml (>= 4.10.0))
- (brr (>= 0.0.1))
+ (brr (>= 0.0.6))
+ (note (>= 0.0.3))
)
)
@@ -28,7 +30,8 @@
(synopsis "CSS Merger")
(depends
(ocaml (>= 4.10.0))
- (brr (>= 0.0.1))
+ (brr (>= 0.0.6))
+ (note (>= 0.0.3))
(css-parser (>= 0.2.4))
)
)
@@ -38,7 +41,8 @@
(synopsis "Motus solver")
(depends
(ocaml (>= 4.10.0))
- (brr (>= 0.0.1))
+ (brr (>= 0.0.6))
+ (note (>= 0.0.3))
(ppx_deriving (>= 5.2.1))
)
)
@@ -52,3 +56,16 @@
)
)
(using menhir 2.1)
+
+(package
+ (name optim_aooo)
+ (synopsis "aoo solver")
+ (depends
+ (ocaml (>= 4.10.0))
+ (brr (>= 0.0.6))
+ (note (>= 0.0.3))
+ (ppx_deriving (>= 5.2.1))
+ (zarith)
+ (zarith_stubs_js)
+ )
+ )