libcoq-quickchick (2.1.0-1.1build5)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://ports.ubuntu.com
- Codename
- stonking
- Component
- universe
- Source
- coq-quickchick
- Architecture
- arm64
- Section
- universe/ocaml
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 17 kB
- Size expected
- 4.2 MB
- Size actual
- 4.2 MB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
randomized testing framework for Coq (plugin)
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | b9a3b7b5…a5857ad9 | |
| SHA-1 | 431a3846…3fa8d5b0 | |
| SHA-256 | cb3b9298…a20b0e87 | |
| SHA-512 | e06aea00…f4022ddb |
Contents
Files and directories included
. usr usr/lib usr/lib/aarch64-linux-gnu usr/lib/aarch64-linux-gnu/ocaml usr/lib/aarch64-linux-gnu/ocaml/5.4.0 usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Checker.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Checker.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Checker.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/CheckerProofs.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/CheckerProofs.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/CheckerProofs.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Classes.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Classes.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Classes.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/CoArbitrary.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/CoArbitrary.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/CoArbitrary.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Compat.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Compat.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Compat.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Decidability.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Decidability.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Decidability.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/DependentClasses.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/DependentClasses.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/DependentClasses.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/EnumProofs.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/EnumProofs.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/EnumProofs.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Enumerators.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Enumerators.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Enumerators.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/ExtractionQC.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/ExtractionQC.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/ExtractionQC.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/GenProofs.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/GenProofs.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/GenProofs.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Generators.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Generators.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Generators.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Instances.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Instances.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Instances.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/LazyList.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/LazyList.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/LazyList.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/LiftGenClass.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/LiftGenClass.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/LiftGenClass.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/MutateCheck.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/MutateCheck.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/MutateCheck.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Mutation.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Mutation.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Mutation.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Nat_util.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Nat_util.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Nat_util.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Producer.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Producer.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Producer.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Proofs.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Proofs.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Proofs.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/QuickChick.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/QuickChick.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/QuickChick.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/RandomQC.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/RandomQC.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/RandomQC.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/RoseTrees.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/RoseTrees.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/RoseTrees.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/SemChecker.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/SemChecker.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/SemChecker.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Sets.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Sets.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Sets.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Show.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Show.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Show.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/ShowFacts.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/ShowFacts.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/ShowFacts.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/State.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/State.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/State.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/StringOT.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/StringOT.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/StringOT.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Tactics.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Tactics.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Tactics.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/TacticsUtil.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/TacticsUtil.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/TacticsUtil.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Test.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Test.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Test.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Typeclasses.glob usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Typeclasses.v usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/Typeclasses.vo usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/QuickChick/quickchick_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/META usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/dune-package usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/opam usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/arbitrarySized.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/arbitrarySized.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/arbitrarySizedST.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/arbitrarySizedST.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/checkerSizedST.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/checkerSizedST.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/coqLib.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/coqLib.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/depDriver.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/depDriver.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/driver.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/driver.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/enumSized.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/enumSizedST.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/error.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/error.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/genLib.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/genLib.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/genericLib.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/genericLib.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/mergeTypes.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/mergeTypes.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickChick.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin.a usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin.cma usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin.cmxa usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin.cmxs usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySized.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySized.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySized.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySized.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySizedST.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySizedST.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySizedST.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySizedST.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__CheckerSizedST.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__CheckerSizedST.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__CheckerSizedST.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__CheckerSizedST.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__CoqLib.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__CoqLib.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__CoqLib.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__CoqLib.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__DepDriver.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__DepDriver.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__DepDriver.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__DepDriver.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Driver.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Driver.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Driver.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Driver.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__EnumSized.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__EnumSized.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__EnumSized.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__EnumSizedST.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__EnumSizedST.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__EnumSizedST.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Error.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Error.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Error.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Error.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__GenLib.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__GenLib.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__GenLib.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__GenLib.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__GenericLib.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__GenericLib.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__GenericLib.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__GenericLib.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__MergeTypes.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__MergeTypes.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__MergeTypes.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__MergeTypes.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__QuickChick.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__QuickChick.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__QuickChick.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SemLib.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SemLib.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SemLib.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SemLib.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SetLib.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SetLib.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SetLib.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SetLib.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SimplDriver.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SimplDriver.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SimplDriver.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SimplDriver.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SizeUtils.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SizeUtils.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SizeUtils.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__SizeUtils.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Sized.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Sized.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Sized.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Sized.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Tactic_quickchick.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Tactic_quickchick.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Tactic_quickchick.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Tactic_quickchick.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__UnifyQC.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__UnifyQC.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__UnifyQC.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__UnifyQC.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Weightmap.cmi usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Weightmap.cmt usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Weightmap.cmti usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/quickchick_plugin__Weightmap.cmx usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/semLib.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/semLib.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/setLib.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/setLib.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/simplDriver.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/simplDriver.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/sizeUtils.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/sizeUtils.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/sized.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/sized.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/tactic_quickchick.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/tactic_quickchick.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/unifyQC.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/unifyQC.mli usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/weightmap.ml usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-quickchick/plugin/weightmap.mli usr/share usr/share/doc usr/share/doc/libcoq-quickchick usr/share/doc/libcoq-quickchick/changelog.Debian.gz usr/share/doc/libcoq-quickchick/copyright usr/share/lintian usr/share/lintian/overrides usr/share/lintian/overrides/libcoq-quickchick var var/lib var/lib/coq var/lib/coq/md5sums var/lib/coq/md5sums/libcoq-quickchick.checksum