Package: libcoq-quickchick
Source: coq-quickchick
Priority: optional
Section: universe/ocaml
Installed-Size: 14647
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.2.0-3build1
Provides: libcoq-quickchick-isjk6
Depends: libcoq-ext-lib-ocnv3, libcoq-mathcomp-ssreflect-aj4k8, libcoq-simple-io-1n9r4, libcoq-stdlib-7wto0
Filename: pool/universe/c/coq-quickchick/libcoq-quickchick_2.2.0-3build1_amd64.deb
Size: 4067732
SHA512: aa098f4c10694f98a32f3bb4beebce0533f6218aea825e0065cf32eb5d0ccf7697b049f02694eb5306db74667ec453f091657666ae620be162c03c5a0a1c61c2
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