(lang dune 3.21)
(name ppx_deriving_qcheck)
(version 0.24)
(sections
 (lib /usr/lib64/ocaml/ppx_deriving_qcheck)
 (libexec /usr/lib64/ocaml/ppx_deriving_qcheck)
 (doc /usr/doc/ppx_deriving_qcheck))
(files
 (lib
  (META
   QCheck_generators.ml
   args.ml
   attributes.ml
   attributes.mli
   dune-package
   opam
   ppx_deriving_qcheck.a
   ppx_deriving_qcheck.cma
   ppx_deriving_qcheck.cmi
   ppx_deriving_qcheck.cmt
   ppx_deriving_qcheck.cmti
   ppx_deriving_qcheck.cmx
   ppx_deriving_qcheck.cmxa
   ppx_deriving_qcheck.ml
   ppx_deriving_qcheck.mli
   ppx_deriving_qcheck__.cmi
   ppx_deriving_qcheck__.cmt
   ppx_deriving_qcheck__.cmx
   ppx_deriving_qcheck__.ml
   ppx_deriving_qcheck__Args.cmi
   ppx_deriving_qcheck__Args.cmt
   ppx_deriving_qcheck__Args.cmx
   ppx_deriving_qcheck__Attributes.cmi
   ppx_deriving_qcheck__Attributes.cmt
   ppx_deriving_qcheck__Attributes.cmti
   ppx_deriving_qcheck__Attributes.cmx
   ppx_deriving_qcheck__QCheck_generators.cmi
   ppx_deriving_qcheck__QCheck_generators.cmt
   ppx_deriving_qcheck__QCheck_generators.cmx
   ppx_deriving_qcheck__Tuple.cmi
   ppx_deriving_qcheck__Tuple.cmt
   ppx_deriving_qcheck__Tuple.cmx
   tuple.ml))
 (libexec (ppx_deriving_qcheck.cmxs))
 (doc (CHANGELOG.md LICENSE README.adoc)))
(library
 (name ppx_deriving_qcheck)
 (kind ppx_deriver)
 (archives (byte ppx_deriving_qcheck.cma) (native ppx_deriving_qcheck.cmxa))
 (plugins (byte ppx_deriving_qcheck.cma) (native ppx_deriving_qcheck.cmxs))
 (native_archives ppx_deriving_qcheck.a)
 (requires ppxlib.ast ppxlib)
 (ppx_runtime_deps qcheck-core)
 (main_module_name Ppx_deriving_qcheck)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name ppx_deriving_qcheck__)
     (visibility public)
     (kind alias)
     (source
      (path Ppx_deriving_qcheck__)
      (impl (path ppx_deriving_qcheck__.ml-gen))))
    (name Ppx_deriving_qcheck)
    (modules
     (module
      (obj_name ppx_deriving_qcheck__Args)
      (visibility public)
      (source (path Args) (impl (path args.ml))))
     (module
      (obj_name ppx_deriving_qcheck__Attributes)
      (visibility public)
      (source
       (path Attributes)
       (intf (path attributes.mli))
       (impl (path attributes.ml))))
     (module
      (obj_name ppx_deriving_qcheck)
      (visibility public)
      (source
       (path Ppx_deriving_qcheck)
       (intf (path ppx_deriving_qcheck.mli))
       (impl (path ppx_deriving_qcheck.ml))))
     (module
      (obj_name ppx_deriving_qcheck__QCheck_generators)
      (visibility public)
      (source (path QCheck_generators) (impl (path QCheck_generators.ml))))
     (module
      (obj_name ppx_deriving_qcheck__Tuple)
      (visibility public)
      (source (path Tuple) (impl (path tuple.ml))))))
   (wrapped true))))
