(lang dune 3.17)
(name dscheck)
(version 0.5.0)
(sections
 (lib /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck)
 (libexec /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck)
 (doc /usr/doc/dscheck))
(files
 (lib
  (META
   atomic_op.ml
   dscheck.a
   dscheck.cma
   dscheck.cmi
   dscheck.cmt
   dscheck.cmx
   dscheck.cmxa
   dscheck.ml
   dscheck__Atomic_op.cmi
   dscheck__Atomic_op.cmt
   dscheck__Atomic_op.cmx
   dscheck__Trace_tracker.cmi
   dscheck__Trace_tracker.cmt
   dscheck__Trace_tracker.cmti
   dscheck__Trace_tracker.cmx
   dscheck__TracedAtomic.cmi
   dscheck__TracedAtomic.cmt
   dscheck__TracedAtomic.cmti
   dscheck__TracedAtomic.cmx
   dune-package
   opam
   trace_tracker.ml
   trace_tracker.mli
   tracedAtomic.ml
   tracedAtomic.mli))
 (libexec (dscheck.cmxs))
 (doc (CHANGES.md LICENSE.md README.md)))
(library
 (name dscheck)
 (kind normal)
 (archives (byte dscheck.cma) (native dscheck.cmxa))
 (plugins (byte dscheck.cma) (native dscheck.cmxs))
 (native_archives dscheck.a)
 (requires containers oseq)
 (main_module_name Dscheck)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name dscheck)
     (visibility public)
     (kind alias)
     (source (path Dscheck) (impl (path dscheck.ml-gen))))
    (name Dscheck)
    (modules
     (module
      (obj_name dscheck__Atomic_op)
      (visibility public)
      (source (path Atomic_op) (impl (path atomic_op.ml))))
     (module
      (obj_name dscheck__Trace_tracker)
      (visibility public)
      (source
       (path Trace_tracker)
       (intf (path trace_tracker.mli))
       (impl (path trace_tracker.ml))))
     (module
      (obj_name dscheck__TracedAtomic)
      (visibility public)
      (source
       (path TracedAtomic)
       (intf (path tracedAtomic.mli))
       (impl (path tracedAtomic.ml))))))
   (wrapped true))))
