diff options
Diffstat (limited to 'dune-project')
-rwxr-xr-x | dune-project | 25 |
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) + ) + ) |