(lang dune 3.20)
(name multicore-magic-dscheck)
(version 2.3.1)
(sections
 (lib /usr/lib/aarch64-linux-gnu/ocaml/5.4.0/multicore-magic-dscheck)
 (libexec /usr/lib/aarch64-linux-gnu/ocaml/5.4.0/multicore-magic-dscheck)
 (doc /usr/doc/multicore-magic-dscheck))
(files
 (lib
  (META
   dune-package
   multicore_magic.ml
   multicore_magic.mli
   multicore_magic_dscheck.a
   multicore_magic_dscheck.cma
   multicore_magic_dscheck.cmi
   multicore_magic_dscheck.cmt
   multicore_magic_dscheck.cmx
   multicore_magic_dscheck.cmxa
   multicore_magic_dscheck.ml
   multicore_magic_dscheck__Multicore_magic.cmi
   multicore_magic_dscheck__Multicore_magic.cmt
   multicore_magic_dscheck__Multicore_magic.cmti
   multicore_magic_dscheck__Multicore_magic.cmx
   opam))
 (libexec (multicore_magic_dscheck.cmxs))
 (doc (CHANGES.md LICENSE.md README.md)))
(library
 (name multicore-magic-dscheck)
 (kind normal)
 (archives
  (byte multicore_magic_dscheck.cma)
  (native multicore_magic_dscheck.cmxa))
 (plugins
  (byte multicore_magic_dscheck.cma)
  (native multicore_magic_dscheck.cmxs))
 (native_archives multicore_magic_dscheck.a)
 (requires dscheck)
 (main_module_name Multicore_magic_dscheck)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name multicore_magic_dscheck)
     (visibility public)
     (kind alias)
     (source
      (path Multicore_magic_dscheck)
      (impl (path multicore_magic_dscheck.ml-gen))))
    (name Multicore_magic_dscheck)
    (modules
     (module
      (obj_name multicore_magic_dscheck__Multicore_magic)
      (visibility public)
      (source
       (path Multicore_magic)
       (intf (path multicore_magic.mli))
       (impl (path multicore_magic.ml))))))
   (wrapped true))))
