Package: libcoq-quickchick
Architecture: amd64
Version: 2.0.2-1build5
Priority: optional
Section: universe/ocaml
Source: coq-quickchick
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 7775
Provides: libcoq-quickchick-cyyn2
Depends: libcoq-ext-lib-l4av0, libcoq-mathcomp-ssreflect-y5tl2, libcoq-simple-io-2kjn1, libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-quickchick/libcoq-quickchick_2.0.2-1build5_amd64.deb
Size: 1950450
MD5sum: 4dfa1fe8d3ed09b0009820cb1385db25
SHA1: 0486adf7a6ef3938146c843bf0c28429b804423c
SHA256: dfd08cbb4dbbc0e1959d4f6c06a93f76563bc41576eba4b112c9aa91dcaebb72
SHA512: cc8fc582750d79baad6669486b109e9851e0f00f2c733e6d820a905e613a218e2e1acbf3f3fe2c075d3c8f22fd8b3848c9462f15c0f3006ade6d303081dda1e2
Homepage: https://github.com/Quickchick/Quickchick
Description: randomized testing framework for Coq (plugin)
Description-md5: e621d041ded1fabf4a8bf5048e6b851f