diff options
Diffstat (limited to 'toytt.opam')
-rw-r--r-- | toytt.opam | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/toytt.opam b/toytt.opam index c126fcb..1a4a45c 100644 --- a/toytt.opam +++ b/toytt.opam @@ -11,7 +11,8 @@ doc: "https://url/to/documentation" bug-reports: "https://github.com/username/reponame/issues" depends: [ "ocaml" - "dune" {>= "3.7"} + "dune" {>= "3.13"} + "ppx_deriving" "asai" "odoc" {with-doc} ] |