Package: quickchick
Architecture: amd64
Version: 2.1.0-1build4
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: 1789
Depends: libc6 (>= 2.42), ocaml-base | ocaml
Filename: pool/universe/c/coq-quickchick/quickchick_2.1.0-1build4_amd64.deb
Size: 541188
MD5sum: 79a35cd2e5dd6e902ae293c51831bd86
SHA1: e9ad236b638b550b4ad5f8cf9814ba36cec024c3
SHA256: b99e30444259d5adb49894ff9da6d62566d6a6fc1319e02f2ac365a4e5c40943
SHA512: 0799bb646eece406f34fbb3714c23071f91f4e70aa843fb076ee0256f9ea8f38a526a71dbed566fc631a81827eac19bc0a41668029243b9cc3d2b046adc581dc
Homepage: https://github.com/Quickchick/Quickchick
Description: randomized testing framework for Coq (tools)
Description-md5: 3190f708de6832bc13984e3cda4ffbd6