(lang dune 3.23)
(name kcas)
(sections
 (lib /usr/lib/riscv64-linux-gnu/ocaml/5.4.0/kcas)
 (libexec /usr/lib/riscv64-linux-gnu/ocaml/5.4.0/kcas)
 (doc /usr/share/ocaml-dune/doc/kcas))
(files
 (lib
  (META
   dune-package
   kcas.a
   kcas.cma
   kcas.cmi
   kcas.cmt
   kcas.cmti
   kcas.cmx
   kcas.cmxa
   kcas.ml
   kcas.mli
   opam))
 (libexec (kcas.cmxs))
 (doc (CHANGES.md LICENSE.md README.md odoc-config.sexp)))
(library
 (name kcas)
 (kind normal)
 (archives (byte kcas.cma) (native kcas.cmxa))
 (plugins (byte kcas.cma) (native kcas.cmxs))
 (native_archives kcas.a)
 (requires domain-local-await domain-local-timeout backoff multicore-magic)
 (main_module_name Kcas)
 (modes byte native)
 (modules
  (singleton
   (obj_name kcas)
   (visibility public)
   (source (path Kcas) (intf (path kcas.mli)) (impl (path kcas.ml))))))
