Package: libcoq-quickchick
Source: coq-quickchick
Priority: optional
Section: universe/ocaml
Installed-Size: 16114
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.1.0-1.1build5
Provides: libcoq-quickchick-f71w5
Depends: libcoq-ext-lib-kvhf9, libcoq-mathcomp-ssreflect-ak300, libcoq-simple-io-5eyn5, libcoq-stdlib-83lq0
Filename: pool/universe/c/coq-quickchick/libcoq-quickchick_2.1.0-1.1build5_amd64.deb
Size: 4149164
MD5sum: 4752a87bd91e2a0f0b2eb96a224585ee
SHA1: 1ac9ed771f9a4b6fb6c5f17a3d7c7b3818592ee2
SHA256: 1fac5bcd475a634cff8dd4cf5d397a6ca824c6132b1f7b9a75de07f84b40c19c
SHA512: 7c1e17dd647ec17e52ab255e10da116af90319d585e37966f9ce4e4416cddc22ddaa0d228153fa32776653dafdeac4ac8a376cf3da8ca1610234a36d573a4663
Homepage: https://github.com/Quickchick/Quickchick
Description: randomized testing framework for Coq (plugin)
Description-md5: e621d041ded1fabf4a8bf5048e6b851f
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug