Package: libcoq-quickchick
Architecture: amd64
Version: 2.0.5-1build6
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: 12282
Provides: libcoq-quickchick-9xdh2
Depends: libcoq-ext-lib-tsyv9, libcoq-mathcomp-ssreflect-rrbv4, libcoq-simple-io-7ne52, libcoq-stdlib-9imx0
Filename: pool/universe/c/coq-quickchick/libcoq-quickchick_2.0.5-1build6_amd64.deb
Size: 4501446
MD5sum: de89aa385e71f3952f0dd9bdc3419c94
SHA1: cc8c0ce60e1cd420734c0b8d702d0273d763fcf9
SHA256: 06fd7782a980a9c418cd9d83b5cc54f2d310f3705f6a52933d8b7cfa7ca831ea
SHA512: 157c3f8ca410199e913c2bc935905ad02e4ba0b942e67fbebfb773e70ba5960d79251a7a4964ad4abc37b0c47116920068cb3ef4c44f92b4c8c0c63a25ea9ce1
Homepage: https://github.com/Quickchick/Quickchick
Description: randomized testing framework for Coq (plugin)
Description-md5: e621d041ded1fabf4a8bf5048e6b851f