-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.5-1build5
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/Quickchick/Quickchick
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-quickchick
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-quickchick.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, ocaml-dune, help2man, libcoq-ext-lib, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-simple-io, libcoq-stdlib, menhir, ocamlbuild
Package-List:
 libcoq-quickchick deb ocaml optional arch=any
 quickchick deb ocaml optional arch=any
Checksums-Sha1:
 7c1f89504855a4077a089b1fb64090af585ff3c8 413023 coq-quickchick_2.0.5.orig.tar.gz
 6c0a9dd66c7372547114187647fb46f5252ccdf4 3048 coq-quickchick_2.0.5-1build5.debian.tar.xz
Checksums-Sha256:
 e19eaded243d12954b8b32827ce5c0d3b2a9cab4d316d97924a9861bf6f01773 413023 coq-quickchick_2.0.5.orig.tar.gz
 b617f0df84497df08f44b07a57981eda0cd8166ea38930480aad7e27147c38d3 3048 coq-quickchick_2.0.5-1build5.debian.tar.xz
Files:
 3fe1c7124122fdfd5817d8634c1e68a6 413023 coq-quickchick_2.0.5.orig.tar.gz
 54bf308215a5a34b429d16f59ac87c3a 3048 coq-quickchick_2.0.5-1build5.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmetDKcACgkQ808JdE6f
XdlqCRAArgn7xX7oXT/VB1VmMGSnKf9N22tLOQp8Xp9//83+ryv5+gYO69Bd67Xe
vZKk990rtg7H7NY3HTaq5zBRVk/yCchTwc+cVKGO8/4Bp8aR9MA0p+rpcrm0vB2o
cqSbcCnXpoV9zpsene18Klpt9F685gCQEZMERj4w90pB/EJKy6VnpH0vdImGQHdO
tLrJccG3SXVx7L8HqZyvnBNkG05s2qh7frAsLgaQoOZCTp6A0Mw8SO0NX9yokJA9
HwpaiJ/2OQokV4y/k2NsHaj4H0BOPei3jGRe7LWoP+4+kMPj9cz3vWnZHlYphkyz
ACRaqyJlKgzxe+z6EfiMnkcyApO0ut4aVDlvCjDTeYIvsaAaN1AErJKeuwSJOGxR
lGO6DllzNhxohQOvhhDlxaCcSeXCi8+gFXQ6+3okqXlLW5FCpB7D8naZOQyXunrc
Uf+hTl7VTexPVPHWfHKUZbkcm4o2v/uAeYU/iwVEFfMvlPJXZTMLfzyzQ4Fl/UJy
X9YJvbCqRPkdBCt01PVwiB/XVpmO4DmET5ut0aXiVcJSZxZ8ktSCBlwoQDkmK0FV
mZtRtfcLenVvnbIDoRAhgJy+ExpcsCQ6yPJVk3aFwcE+D7UMYEwrYopmliLcVafE
fLh7OqzQ/ATPs6guRfG9msyaie2KjS6V3OnhJoqe2Hn1UxE3QPA=
=zqlN
-----END PGP SIGNATURE-----