Updated dune-project

darrenldl · May 9, 2023 · 30d93c2 · 30d93c2
1 parent 8a3ec81
commit 30d93c2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git 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
@@ -32,6 +32,7 @@
    (cmdliner (>= "1.1.0"))
    (eio (>= "0.9"))
    (domainslib (>= "0.5.0"))
+   kcas_data
    )
  (tags
   ("fuzzy" "document" "finder"