(lang dune 3.20)
(name mlmpfr)
(sections
 (lib /usr/lib64/ocaml/mlmpfr)
 (libexec /usr/lib64/ocaml/mlmpfr)
 (doc /usr/doc/mlmpfr)
 (stublibs /usr/lib64/ocaml/stublibs))
(files
 (lib
  (META
   dune-package
   libmlmpfr_stubs.a
   mlmpfr.a
   mlmpfr.cma
   mlmpfr.cmi
   mlmpfr.cmt
   mlmpfr.cmti
   mlmpfr.cmx
   mlmpfr.cmxa
   mlmpfr.ml
   mlmpfr.mli
   opam))
 (libexec (mlmpfr.cmxs))
 (doc (LICENSE README.md))
 (stublibs (dllmlmpfr_stubs.so)))
(library
 (name mlmpfr)
 (kind normal)
 (archives (byte mlmpfr.cma) (native mlmpfr.cmxa))
 (plugins (byte mlmpfr.cma) (native mlmpfr.cmxs))
 (foreign_objects mlmpfr_stubs.o)
 (foreign_archives (archives (for all) (files libmlmpfr_stubs.a)))
 (foreign_dll_files ../stublibs/dllmlmpfr_stubs.so)
 (native_archives mlmpfr.a)
 (modes byte native)
 (modules
  (singleton
   (obj_name mlmpfr)
   (visibility public)
   (source (path Mlmpfr) (intf (path mlmpfr.mli)) (impl (path mlmpfr.ml))))))
