Package: 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: 1861
Depends: libc6 (>= 2.38), ocaml-base | ocaml
Filename: pool/universe/c/coq-quickchick/quickchick_2.0.5-1build6_amd64.deb
Size: 567026
MD5sum: 7dd58d0d08d48e8e9cc829ac23c9def3
SHA1: a43f3dbeee74a19892d3e6045ee9d0cce1942ed5
SHA256: a586664464257ea3cce97e35d60f8d9e0a79a74279950c0c59c16eaea3fe5a9a
SHA512: 103e8e1a756c733c880da618670df285c161a55b7ca5d1ca8c08f20f7a0c9d0da855015ebb172fd66deaa25d07c8f3489fa2057550917a2140f54e52f3b9ab82
Homepage: https://github.com/Quickchick/Quickchick
Description: randomized testing framework for Coq (tools)
Description-md5: 3190f708de6832bc13984e3cda4ffbd6