Package: libcoq-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: 13327
Provides: libcoq-quickchick-hml46
Depends: libcoq-ext-lib-uxa90, libcoq-mathcomp-ssreflect-uyii6, libcoq-simple-io-n7wd2, libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-quickchick/libcoq-quickchick_2.0.3-3build5_amd64.deb
Size: 4546582
MD5sum: b35079c3d22e78f76d09150ddcace7f9
SHA1: 68c7056d9909c95d04359446129442df01b6df6b
SHA256: 0c2cacd0a4991f2bc1faa9aacca7c6636a04d819c40492d9e6e3eb98186503a9
SHA512: d487631cf7945ae83a4ba96ce34fe3d2d9c37e1d917a3159a1ded735cafc9eff6530ce321de6a420ca9b1744b2dd76fb64321562c7014e6ced7cc1be59642d3f
Homepage: https://github.com/Quickchick/Quickchick
Description: randomized testing framework for Coq (plugin)
Description-md5: e621d041ded1fabf4a8bf5048e6b851f