Package: 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: 369
Depends: ocaml-base | ocaml
Filename: pool/universe/c/coq-quickchick/quickchick_2.0.2-1build5_amd64.deb
Size: 66526
MD5sum: 1d58c484bafeb6ad9211ace13531a96a
SHA1: b48ebb498c47301a3049aa73fe2c37e6e4718780
SHA256: 140ad47ade568e9d8dac6174d5a7925607c256a055e9c87a283a979baafb687a
SHA512: b610874bee745b7d41a3481fb520900ac57e82d1dcd466503fc9137b7c599fa429e90adf7a5b08f592c126a609849e8c7691d34accdecad1d69ee06bfe0a07af
Homepage: https://github.com/Quickchick/Quickchick
Description: randomized testing framework for Coq (tools)
Description-md5: 3190f708de6832bc13984e3cda4ffbd6