Package - libcoq-quickchick
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coq-quickchick/libcoq-quickchick_2.1.0-1+b2_amd64.deb (Size: 4.1MiB)| Property | Value |
|---|---|
| Package | libcoq-quickchick |
| Source | coq-quickchick (2.1.0-1) |
| Version | 2.1.0-1+b2 |
| Installed-Size | 12357 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-quickchick-amc35 |
| Depends | libcoq-ext-lib-hjs39, libcoq-mathcomp-ssreflect-08jv4, libcoq-simple-io-vjf29, libcoq-stdlib-68yx1 |
| Description | randomized testing framework for Coq (plugin) |
| Description-md5 | e621d041ded1fabf4a8bf5048e6b851f |
| Homepage | https://github.com/Quickchick/Quickchick |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coq-quickchick/libcoq-quickchick_2.1.0-1+b2_amd64.deb |
| Size | 4253160 |
| MD5sum | a2dc9c98219f96437e12c4e3cb61e64c |
| SHA256 | b6c737fd5f1f2a554138e87160da84a7064e6ded408fd326698ca4ff4235d533 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/dune-package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/opam
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/arbitrarySized.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/arbitrarySized.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/arbitrarySizedST.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/arbitrarySizedST.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/checkerSizedST.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/checkerSizedST.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/coqLib.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/coqLib.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/depDriver.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/depDriver.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/driver.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/driver.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/enumSized.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/enumSizedST.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/error.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/error.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/genLib.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/genLib.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/genericLib.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/genericLib.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/mergeTypes.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/mergeTypes.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickChick.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin.a
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySized.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySized.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySized.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySized.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySizedST.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySizedST.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySizedST.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__ArbitrarySizedST.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__CheckerSizedST.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__CheckerSizedST.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__CheckerSizedST.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__CheckerSizedST.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__CoqLib.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__CoqLib.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__CoqLib.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__CoqLib.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__DepDriver.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__DepDriver.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__DepDriver.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__DepDriver.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Driver.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Driver.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Driver.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Driver.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__EnumSized.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__EnumSized.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__EnumSized.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__EnumSizedST.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__EnumSizedST.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__EnumSizedST.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Error.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Error.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Error.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Error.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__GenLib.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__GenLib.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__GenLib.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__GenLib.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__GenericLib.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__GenericLib.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__GenericLib.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__GenericLib.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__MergeTypes.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__MergeTypes.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__MergeTypes.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__MergeTypes.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__QuickChick.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__QuickChick.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__QuickChick.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SemLib.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SemLib.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SemLib.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SemLib.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SetLib.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SetLib.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SetLib.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SetLib.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SimplDriver.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SimplDriver.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SimplDriver.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SimplDriver.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SizeUtils.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SizeUtils.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SizeUtils.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__SizeUtils.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Sized.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Sized.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Sized.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Sized.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Tactic_quickchick.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Tactic_quickchick.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Tactic_quickchick.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Tactic_quickchick.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__UnifyQC.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__UnifyQC.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__UnifyQC.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__UnifyQC.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Weightmap.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Weightmap.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Weightmap.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/quickchick_plugin__Weightmap.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/semLib.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/semLib.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/setLib.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/setLib.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/simplDriver.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/simplDriver.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/sizeUtils.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/sizeUtils.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/sized.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/sized.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/tactic_quickchick.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/tactic_quickchick.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/unifyQC.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/unifyQC.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/weightmap.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin/weightmap.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Checker.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Checker.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Checker.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/CheckerProofs.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/CheckerProofs.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/CheckerProofs.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Classes.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Classes.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Classes.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/CoArbitrary.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/CoArbitrary.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/CoArbitrary.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Compat.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Compat.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Compat.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Decidability.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Decidability.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Decidability.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/DependentClasses.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/DependentClasses.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/DependentClasses.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/EnumProofs.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/EnumProofs.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/EnumProofs.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Enumerators.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Enumerators.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Enumerators.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/ExtractionQC.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/ExtractionQC.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/ExtractionQC.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/GenProofs.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/GenProofs.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/GenProofs.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Generators.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Generators.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Generators.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Instances.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Instances.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Instances.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/LazyList.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/LazyList.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/LazyList.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/LiftGenClass.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/LiftGenClass.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/LiftGenClass.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/MutateCheck.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/MutateCheck.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/MutateCheck.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Mutation.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Mutation.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Mutation.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Nat_util.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Nat_util.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Nat_util.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Producer.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Producer.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Producer.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Proofs.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Proofs.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Proofs.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/QuickChick.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/QuickChick.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/QuickChick.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/RandomQC.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/RandomQC.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/RandomQC.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/RoseTrees.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/RoseTrees.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/RoseTrees.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/SemChecker.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/SemChecker.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/SemChecker.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Sets.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Sets.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Sets.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Show.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Show.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Show.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/ShowFacts.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/ShowFacts.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/ShowFacts.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/State.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/State.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/State.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/StringOT.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/StringOT.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/StringOT.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Tactics.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Tactics.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Tactics.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/TacticsUtil.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/TacticsUtil.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/TacticsUtil.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Test.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Test.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Test.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Typeclasses.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Typeclasses.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/Typeclasses.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/QuickChick/quickchick_plugin.cmxs
- /usr/share/doc/libcoq-quickchick/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-quickchick/changelog.Debian.gz
- /usr/share/doc/libcoq-quickchick/changelog.gz
- /usr/share/doc/libcoq-quickchick/copyright
- /usr/share/lintian/overrides/libcoq-quickchick
- /var/lib/coq/md5sums/libcoq-quickchick.checksum