From 30d93c22b5848eb054a29ad5f8d04afb2a98b4b7 Mon Sep 17 00:00:00 2001 From: Daren Ldl Date: Tue, 9 May 2023 13:11:57 +1000 Subject: [PATCH] Updated dune-project --- docfd.opam | 1 + dune-project | 1 + 2 files changed, 2 insertions(+) diff --git a/docfd.opam b/docfd.opam index a76f193..035ebb3 100644 --- a/docfd.opam +++ b/docfd.opam @@ -23,6 +23,7 @@ depends: [ "cmdliner" {>= "1.1.0"} "eio" {>= "0.9"} "domainslib" {>= "0.5.0"} + "kcas_data" "odoc" {with-doc} ] build: [ diff --git a/dune-project b/dune-project index ab5013f..4c5a848 100644 --- a/dune-project +++ b/dune-project @@ -32,6 +32,7 @@ (cmdliner (>= "1.1.0")) (eio (>= "0.9")) (domainslib (>= "0.5.0")) + kcas_data ) (tags ("fuzzy" "document" "finder"