diff options
Diffstat (limited to 'dune-project')
-rwxr-xr-x | dune-project | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dune-project b/dune-project index c2c5fad..d66d987 100755 --- a/dune-project +++ b/dune-project @@ -20,6 +20,7 @@ (depends (ocaml (>= 4.10.0)) (brr (>= 0.0.1)) + (omd (> 2.0.0~alpha1)) ) ) |