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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 1.6.4-1
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.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/quickchick
Vcs-Git: https://salsa.debian.org/ocaml-team/quickchick.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, dune, help2man, libcoq-ext-lib, libcoq-mathcomp-ssreflect, libcoq-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:
 1dc9e058dec76d8892c3f382d40f4e20f72e45a2 388461 coq-quickchick_1.6.4.orig.tar.gz
 f9882361c2829c77a1883cde4ebac28b2d3c120a 2636 coq-quickchick_1.6.4-1.debian.tar.xz
Checksums-Sha256:
 a8a4185f33f94c20e7414e3babb52d1359cdbe29886a2d9a1584db3a0650f8b4 388461 coq-quickchick_1.6.4.orig.tar.gz
 c1af118a73f18db0dc771625e14c64981a1a7f85ebac862a83f4cae124de041b 2636 coq-quickchick_1.6.4-1.debian.tar.xz
Files:
 cce1caca2698a92e8b66158d431dd7db 388461 coq-quickchick_1.6.4.orig.tar.gz
 6b9aec6a45d8a07348c893637c5c1356 2636 coq-quickchick_1.6.4-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL55yoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRFS0P/1IjPMSECYQsq7t835Pdn8n0KNLIU8iN
NwMNxsCuv4rVUygIGJDGZyqtxCCmTi/DYUWSm5DNT3HSqD+1U1D0cZhKAOJo6/Xz
fFH2qN+xeiKTbA8rgwsEbwG1OT7M/a07EUuifmtc0nrI9DWYT0Po1HcR1gEXOz88
Newo55cpaJGZruf8IaZ3fwEtopRWQaK9ilYs0WZ8VV9ag+0Fa6j79AIAiKTMTqtv
9ho2zz4CGARhCiSJ9WINJuBkv7UTWIlLeGHkUTuUAejF5xKbsjh06gVkXVb5JCXz
TXtHmHieDcJVKu/3B1gjCgrCfoQnFu14ypITHlJtR8aNQkgTws8nLYafrd594pug
DBZ+BUdQmV6DBUIscHWWOul14CYOlQzRWvDPP/1rcR8NcSn+thJBTqfRwzUzQ+qM
n+1KL3Cx0oun0wjNxYDxkLvz4UIIGpJo3xQtKWJOMuHB4GJXJfi1Xkcox97hoFA9
d+0W2Non5FpPZxkR+dpvveOVPFx4QgxZUlRoMt08QSlESpv/MB8tPc7gNglKr4gR
j+077AL2ncSwTy+Wq/y6n00IMHNRtd15fCeGNimVysyDdKjNcBrvE56Sh/lQC2Kq
tAuHyGNAjSBolmneV88N/lwVXgbIQYjwPFFCcyhh2XMpCMCqvnXHLlgWzcjsf/jv
Oaa0cJkkZdBL
=f+SJ
-----END PGP SIGNATURE-----