aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2024-03-04 21:07:51 +0100
committerSébastien Dailly <sebastien@dailly.me>2024-03-04 21:07:51 +0100
commitfe13ea5ce39b24b2d49b43c384ed01b013d683db (patch)
tree92b4a01e97c22318b376c2b576ca783af4a9db9e /dune-project
parentef9beb0814c36cda979a4ed7e9175e72e69540ac (diff)
calculette_aoo: now evaluate the exact frequency, some corrections
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)
+ )
+ )