Package: quickchick
Architecture: amd64
Version: 2.0.3-3build5
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: 1760
Depends: libc6 (>= 2.38), ocaml-base | ocaml
Filename: pool/universe/c/coq-quickchick/quickchick_2.0.3-3build5_amd64.deb
Size: 529564
MD5sum: cc4af3a3d9394c553c9702b12345c64b
SHA1: 930b9f7824b65b6d1081bd435caed523d49b9ae6
SHA256: 57893c09267d3f7fbc9000e9ec91ac36c7113b2f795d646d3e34859d546f564e
SHA512: 607cc3c5d1f9f9c9e3f318c51342afd638846fe683f3804637ca19c9cfe3ea66c1f49d044ecef1d2f3eaeb66ae11077bd7f3281eb05a2301da8981d761244527
Homepage: https://github.com/Quickchick/Quickchick
Description: randomized testing framework for Coq (tools)
Description-md5: 3190f708de6832bc13984e3cda4ffbd6