(lang dune 3.20)
(name coq-quickchick)
(version dev)
(sections
 (lib /usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-quickchick)
 (lib_root /usr/lib/x86_64-linux-gnu/ocaml/5.4.0)
 (libexec /usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-quickchick)
 (bin /usr/bin)
 (doc /usr/doc/coq-quickchick))
(files
 (lib
  (META
   dune-package
   opam
   plugin/arbitrarySized.ml
   plugin/arbitrarySized.mli
   plugin/arbitrarySizedST.ml
   plugin/arbitrarySizedST.mli
   plugin/checkerSizedST.ml
   plugin/checkerSizedST.mli
   plugin/coqLib.ml
   plugin/coqLib.mli
   plugin/depDriver.ml
   plugin/depDriver.mli
   plugin/driver.ml
   plugin/driver.mli
   plugin/enumSized.ml
   plugin/enumSizedST.ml
   plugin/error.ml
   plugin/error.mli
   plugin/genLib.ml
   plugin/genLib.mli
   plugin/genericLib.ml
   plugin/genericLib.mli
   plugin/mergeTypes.ml
   plugin/mergeTypes.mli
   plugin/quickChick.ml
   plugin/quickchick_plugin.a
   plugin/quickchick_plugin.cma
   plugin/quickchick_plugin.cmi
   plugin/quickchick_plugin.cmt
   plugin/quickchick_plugin.cmx
   plugin/quickchick_plugin.cmxa
   plugin/quickchick_plugin.ml
   plugin/quickchick_plugin__ArbitrarySized.cmi
   plugin/quickchick_plugin__ArbitrarySized.cmt
   plugin/quickchick_plugin__ArbitrarySized.cmti
   plugin/quickchick_plugin__ArbitrarySized.cmx
   plugin/quickchick_plugin__ArbitrarySizedST.cmi
   plugin/quickchick_plugin__ArbitrarySizedST.cmt
   plugin/quickchick_plugin__ArbitrarySizedST.cmti
   plugin/quickchick_plugin__ArbitrarySizedST.cmx
   plugin/quickchick_plugin__CheckerSizedST.cmi
   plugin/quickchick_plugin__CheckerSizedST.cmt
   plugin/quickchick_plugin__CheckerSizedST.cmti
   plugin/quickchick_plugin__CheckerSizedST.cmx
   plugin/quickchick_plugin__CoqLib.cmi
   plugin/quickchick_plugin__CoqLib.cmt
   plugin/quickchick_plugin__CoqLib.cmti
   plugin/quickchick_plugin__CoqLib.cmx
   plugin/quickchick_plugin__DepDriver.cmi
   plugin/quickchick_plugin__DepDriver.cmt
   plugin/quickchick_plugin__DepDriver.cmti
   plugin/quickchick_plugin__DepDriver.cmx
   plugin/quickchick_plugin__Driver.cmi
   plugin/quickchick_plugin__Driver.cmt
   plugin/quickchick_plugin__Driver.cmti
   plugin/quickchick_plugin__Driver.cmx
   plugin/quickchick_plugin__EnumSized.cmi
   plugin/quickchick_plugin__EnumSized.cmt
   plugin/quickchick_plugin__EnumSized.cmx
   plugin/quickchick_plugin__EnumSizedST.cmi
   plugin/quickchick_plugin__EnumSizedST.cmt
   plugin/quickchick_plugin__EnumSizedST.cmx
   plugin/quickchick_plugin__Error.cmi
   plugin/quickchick_plugin__Error.cmt
   plugin/quickchick_plugin__Error.cmti
   plugin/quickchick_plugin__Error.cmx
   plugin/quickchick_plugin__GenLib.cmi
   plugin/quickchick_plugin__GenLib.cmt
   plugin/quickchick_plugin__GenLib.cmti
   plugin/quickchick_plugin__GenLib.cmx
   plugin/quickchick_plugin__GenericLib.cmi
   plugin/quickchick_plugin__GenericLib.cmt
   plugin/quickchick_plugin__GenericLib.cmti
   plugin/quickchick_plugin__GenericLib.cmx
   plugin/quickchick_plugin__MergeTypes.cmi
   plugin/quickchick_plugin__MergeTypes.cmt
   plugin/quickchick_plugin__MergeTypes.cmti
   plugin/quickchick_plugin__MergeTypes.cmx
   plugin/quickchick_plugin__QuickChick.cmi
   plugin/quickchick_plugin__QuickChick.cmt
   plugin/quickchick_plugin__QuickChick.cmx
   plugin/quickchick_plugin__SemLib.cmi
   plugin/quickchick_plugin__SemLib.cmt
   plugin/quickchick_plugin__SemLib.cmti
   plugin/quickchick_plugin__SemLib.cmx
   plugin/quickchick_plugin__SetLib.cmi
   plugin/quickchick_plugin__SetLib.cmt
   plugin/quickchick_plugin__SetLib.cmti
   plugin/quickchick_plugin__SetLib.cmx
   plugin/quickchick_plugin__SimplDriver.cmi
   plugin/quickchick_plugin__SimplDriver.cmt
   plugin/quickchick_plugin__SimplDriver.cmti
   plugin/quickchick_plugin__SimplDriver.cmx
   plugin/quickchick_plugin__SizeUtils.cmi
   plugin/quickchick_plugin__SizeUtils.cmt
   plugin/quickchick_plugin__SizeUtils.cmti
   plugin/quickchick_plugin__SizeUtils.cmx
   plugin/quickchick_plugin__Sized.cmi
   plugin/quickchick_plugin__Sized.cmt
   plugin/quickchick_plugin__Sized.cmti
   plugin/quickchick_plugin__Sized.cmx
   plugin/quickchick_plugin__Tactic_quickchick.cmi
   plugin/quickchick_plugin__Tactic_quickchick.cmt
   plugin/quickchick_plugin__Tactic_quickchick.cmti
   plugin/quickchick_plugin__Tactic_quickchick.cmx
   plugin/quickchick_plugin__UnifyQC.cmi
   plugin/quickchick_plugin__UnifyQC.cmt
   plugin/quickchick_plugin__UnifyQC.cmti
   plugin/quickchick_plugin__UnifyQC.cmx
   plugin/quickchick_plugin__Weightmap.cmi
   plugin/quickchick_plugin__Weightmap.cmt
   plugin/quickchick_plugin__Weightmap.cmti
   plugin/quickchick_plugin__Weightmap.cmx
   plugin/semLib.ml
   plugin/semLib.mli
   plugin/setLib.ml
   plugin/setLib.mli
   plugin/simplDriver.ml
   plugin/simplDriver.mli
   plugin/sizeUtils.ml
   plugin/sizeUtils.mli
   plugin/sized.ml
   plugin/sized.mli
   plugin/tactic_quickchick.ml
   plugin/tactic_quickchick.mli
   plugin/unifyQC.ml
   plugin/unifyQC.mli
   plugin/weightmap.ml
   plugin/weightmap.mli))
 (lib_root
  (coq/user-contrib/QuickChick/Checker.glob
   coq/user-contrib/QuickChick/Checker.v
   coq/user-contrib/QuickChick/Checker.vo
   coq/user-contrib/QuickChick/CheckerProofs.glob
   coq/user-contrib/QuickChick/CheckerProofs.v
   coq/user-contrib/QuickChick/CheckerProofs.vo
   coq/user-contrib/QuickChick/Classes.glob
   coq/user-contrib/QuickChick/Classes.v
   coq/user-contrib/QuickChick/Classes.vo
   coq/user-contrib/QuickChick/CoArbitrary.glob
   coq/user-contrib/QuickChick/CoArbitrary.v
   coq/user-contrib/QuickChick/CoArbitrary.vo
   coq/user-contrib/QuickChick/Compat.glob
   coq/user-contrib/QuickChick/Compat.v
   coq/user-contrib/QuickChick/Compat.vo
   coq/user-contrib/QuickChick/Decidability.glob
   coq/user-contrib/QuickChick/Decidability.v
   coq/user-contrib/QuickChick/Decidability.vo
   coq/user-contrib/QuickChick/DependentClasses.glob
   coq/user-contrib/QuickChick/DependentClasses.v
   coq/user-contrib/QuickChick/DependentClasses.vo
   coq/user-contrib/QuickChick/EnumProofs.glob
   coq/user-contrib/QuickChick/EnumProofs.v
   coq/user-contrib/QuickChick/EnumProofs.vo
   coq/user-contrib/QuickChick/Enumerators.glob
   coq/user-contrib/QuickChick/Enumerators.v
   coq/user-contrib/QuickChick/Enumerators.vo
   coq/user-contrib/QuickChick/ExtractionQC.glob
   coq/user-contrib/QuickChick/ExtractionQC.v
   coq/user-contrib/QuickChick/ExtractionQC.vo
   coq/user-contrib/QuickChick/GenProofs.glob
   coq/user-contrib/QuickChick/GenProofs.v
   coq/user-contrib/QuickChick/GenProofs.vo
   coq/user-contrib/QuickChick/Generators.glob
   coq/user-contrib/QuickChick/Generators.v
   coq/user-contrib/QuickChick/Generators.vo
   coq/user-contrib/QuickChick/Instances.glob
   coq/user-contrib/QuickChick/Instances.v
   coq/user-contrib/QuickChick/Instances.vo
   coq/user-contrib/QuickChick/LazyList.glob
   coq/user-contrib/QuickChick/LazyList.v
   coq/user-contrib/QuickChick/LazyList.vo
   coq/user-contrib/QuickChick/LiftGenClass.glob
   coq/user-contrib/QuickChick/LiftGenClass.v
   coq/user-contrib/QuickChick/LiftGenClass.vo
   coq/user-contrib/QuickChick/MutateCheck.glob
   coq/user-contrib/QuickChick/MutateCheck.v
   coq/user-contrib/QuickChick/MutateCheck.vo
   coq/user-contrib/QuickChick/Mutation.glob
   coq/user-contrib/QuickChick/Mutation.v
   coq/user-contrib/QuickChick/Mutation.vo
   coq/user-contrib/QuickChick/Nat_util.glob
   coq/user-contrib/QuickChick/Nat_util.v
   coq/user-contrib/QuickChick/Nat_util.vo
   coq/user-contrib/QuickChick/Producer.glob
   coq/user-contrib/QuickChick/Producer.v
   coq/user-contrib/QuickChick/Producer.vo
   coq/user-contrib/QuickChick/Proofs.glob
   coq/user-contrib/QuickChick/Proofs.v
   coq/user-contrib/QuickChick/Proofs.vo
   coq/user-contrib/QuickChick/QuickChick.glob
   coq/user-contrib/QuickChick/QuickChick.v
   coq/user-contrib/QuickChick/QuickChick.vo
   coq/user-contrib/QuickChick/RandomQC.glob
   coq/user-contrib/QuickChick/RandomQC.v
   coq/user-contrib/QuickChick/RandomQC.vo
   coq/user-contrib/QuickChick/RoseTrees.glob
   coq/user-contrib/QuickChick/RoseTrees.v
   coq/user-contrib/QuickChick/RoseTrees.vo
   coq/user-contrib/QuickChick/SemChecker.glob
   coq/user-contrib/QuickChick/SemChecker.v
   coq/user-contrib/QuickChick/SemChecker.vo
   coq/user-contrib/QuickChick/Sets.glob
   coq/user-contrib/QuickChick/Sets.v
   coq/user-contrib/QuickChick/Sets.vo
   coq/user-contrib/QuickChick/Show.glob
   coq/user-contrib/QuickChick/Show.v
   coq/user-contrib/QuickChick/Show.vo
   coq/user-contrib/QuickChick/ShowFacts.glob
   coq/user-contrib/QuickChick/ShowFacts.v
   coq/user-contrib/QuickChick/ShowFacts.vo
   coq/user-contrib/QuickChick/State.glob
   coq/user-contrib/QuickChick/State.v
   coq/user-contrib/QuickChick/State.vo
   coq/user-contrib/QuickChick/StringOT.glob
   coq/user-contrib/QuickChick/StringOT.v
   coq/user-contrib/QuickChick/StringOT.vo
   coq/user-contrib/QuickChick/Tactics.glob
   coq/user-contrib/QuickChick/Tactics.v
   coq/user-contrib/QuickChick/Tactics.vo
   coq/user-contrib/QuickChick/TacticsUtil.glob
   coq/user-contrib/QuickChick/TacticsUtil.v
   coq/user-contrib/QuickChick/TacticsUtil.vo
   coq/user-contrib/QuickChick/Test.glob
   coq/user-contrib/QuickChick/Test.v
   coq/user-contrib/QuickChick/Test.vo
   coq/user-contrib/QuickChick/Typeclasses.glob
   coq/user-contrib/QuickChick/Typeclasses.v
   coq/user-contrib/QuickChick/Typeclasses.vo
   coq/user-contrib/QuickChick/quickchick_plugin.cmxs))
 (libexec (plugin/quickchick_plugin.cmxs))
 (bin (quickChick))
 (doc (CHANGELOG.md LICENSE README.md)))
(library
 (name coq-quickchick.plugin)
 (kind normal)
 (archives
  (byte plugin/quickchick_plugin.cma)
  (native plugin/quickchick_plugin.cmxa))
 (plugins
  (byte plugin/quickchick_plugin.cma)
  (native plugin/quickchick_plugin.cmxs))
 (native_archives plugin/quickchick_plugin.a)
 (requires unix str coq-core.plugins.extraction coq-core.plugins.ltac)
 (main_module_name Quickchick_plugin)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name quickchick_plugin)
     (visibility public)
     (kind alias)
     (source
      (path Quickchick_plugin)
      (impl (path plugin/quickchick_plugin.ml-gen))))
    (name Quickchick_plugin)
    (modules
     (module
      (obj_name quickchick_plugin__ArbitrarySized)
      (visibility public)
      (source
       (path ArbitrarySized)
       (intf (path plugin/arbitrarySized.mli))
       (impl (path plugin/arbitrarySized.ml))))
     (module
      (obj_name quickchick_plugin__ArbitrarySizedST)
      (visibility public)
      (source
       (path ArbitrarySizedST)
       (intf (path plugin/arbitrarySizedST.mli))
       (impl (path plugin/arbitrarySizedST.ml))))
     (module
      (obj_name quickchick_plugin__CheckerSizedST)
      (visibility public)
      (source
       (path CheckerSizedST)
       (intf (path plugin/checkerSizedST.mli))
       (impl (path plugin/checkerSizedST.ml))))
     (module
      (obj_name quickchick_plugin__CoqLib)
      (visibility public)
      (source
       (path CoqLib)
       (intf (path plugin/coqLib.mli))
       (impl (path plugin/coqLib.ml))))
     (module
      (obj_name quickchick_plugin__DepDriver)
      (visibility public)
      (source
       (path DepDriver)
       (intf (path plugin/depDriver.mli))
       (impl (path plugin/depDriver.ml))))
     (module
      (obj_name quickchick_plugin__Driver)
      (visibility public)
      (source
       (path Driver)
       (intf (path plugin/driver.mli))
       (impl (path plugin/driver.ml))))
     (module
      (obj_name quickchick_plugin__EnumSized)
      (visibility public)
      (source (path EnumSized) (impl (path plugin/enumSized.ml))))
     (module
      (obj_name quickchick_plugin__EnumSizedST)
      (visibility public)
      (source (path EnumSizedST) (impl (path plugin/enumSizedST.ml))))
     (module
      (obj_name quickchick_plugin__Error)
      (visibility public)
      (source
       (path Error)
       (intf (path plugin/error.mli))
       (impl (path plugin/error.ml))))
     (module
      (obj_name quickchick_plugin__GenLib)
      (visibility public)
      (source
       (path GenLib)
       (intf (path plugin/genLib.mli))
       (impl (path plugin/genLib.ml))))
     (module
      (obj_name quickchick_plugin__GenericLib)
      (visibility public)
      (source
       (path GenericLib)
       (intf (path plugin/genericLib.mli))
       (impl (path plugin/genericLib.ml))))
     (module
      (obj_name quickchick_plugin__MergeTypes)
      (visibility public)
      (source
       (path MergeTypes)
       (intf (path plugin/mergeTypes.mli))
       (impl (path plugin/mergeTypes.ml))))
     (module
      (obj_name quickchick_plugin__QuickChick)
      (visibility public)
      (source (path QuickChick) (impl (path plugin/quickChick.ml))))
     (module
      (obj_name quickchick_plugin__SemLib)
      (visibility public)
      (source
       (path SemLib)
       (intf (path plugin/semLib.mli))
       (impl (path plugin/semLib.ml))))
     (module
      (obj_name quickchick_plugin__SetLib)
      (visibility public)
      (source
       (path SetLib)
       (intf (path plugin/setLib.mli))
       (impl (path plugin/setLib.ml))))
     (module
      (obj_name quickchick_plugin__SimplDriver)
      (visibility public)
      (source
       (path SimplDriver)
       (intf (path plugin/simplDriver.mli))
       (impl (path plugin/simplDriver.ml))))
     (module
      (obj_name quickchick_plugin__SizeUtils)
      (visibility public)
      (source
       (path SizeUtils)
       (intf (path plugin/sizeUtils.mli))
       (impl (path plugin/sizeUtils.ml))))
     (module
      (obj_name quickchick_plugin__Sized)
      (visibility public)
      (source
       (path Sized)
       (intf (path plugin/sized.mli))
       (impl (path plugin/sized.ml))))
     (module
      (obj_name quickchick_plugin__Tactic_quickchick)
      (visibility public)
      (source
       (path Tactic_quickchick)
       (intf (path plugin/tactic_quickchick.mli))
       (impl (path plugin/tactic_quickchick.ml))))
     (module
      (obj_name quickchick_plugin__UnifyQC)
      (visibility public)
      (source
       (path UnifyQC)
       (intf (path plugin/unifyQC.mli))
       (impl (path plugin/unifyQC.ml))))
     (module
      (obj_name quickchick_plugin__Weightmap)
      (visibility public)
      (source
       (path Weightmap)
       (intf (path plugin/weightmap.mli))
       (impl (path plugin/weightmap.ml))))))
   (wrapped true))))
