-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 1.6.4-3build4
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-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:
 1dc9e058dec76d8892c3f382d40f4e20f72e45a2 388461 coq-quickchick_1.6.4.orig.tar.gz
 a5b567bc52a4aab881c64fe06c5c948865aa1c8c 2836 coq-quickchick_1.6.4-3build4.debian.tar.xz
Checksums-Sha256:
 a8a4185f33f94c20e7414e3babb52d1359cdbe29886a2d9a1584db3a0650f8b4 388461 coq-quickchick_1.6.4.orig.tar.gz
 36fec3da1a93fdc7a7d6b9752462a4b9a605b5d678b5baf2556c0c1f841f48e4 2836 coq-quickchick_1.6.4-3build4.debian.tar.xz
Files:
 cce1caca2698a92e8b66158d431dd7db 388461 coq-quickchick_1.6.4.orig.tar.gz
 8bc55974bdadc6fa53a4b8aa4c952a21 2836 coq-quickchick_1.6.4-3build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILMsACgkQ808JdE6f
Xdka9xAAoq2g7UyRUPoV24F1YZNLuo5r/dMpA7o03uuw6gh9h9COp1scGpKLcsbl
1BY7lOp8c/0czA2SDPf3n8Nz+V62279XIrXLrGFRXKqIy0l6Tb6Cp/ABjUvST36M
pUZeUmjStN582Ko1PrzAibwvR7js9MQsXfxpEbn3msK76LDTCaupOjSYo/3ybR/b
6dmyYtp8bv597cCHSNmFFnOArZsKndhNue9owwIyvR35+LRnHKB2xWj5uyhy7ogK
eLezefIUtQ75BvGviQ4rstt1X25/liXHdPdIjjkERf+LPLKl+srMisS6MjNaq8o6
iwmpi3ua5dopbJ55b1GzQtDScj5TivdfGiFqHFTAP7Inugjqwndw7Tt3BJl1MEvx
EiheOkAQsHBGDcmUC8vJk3tpPOwxN/3ayvRzf1diy3SB+qoIM9zPGlbZY3pxiUAb
U/khQLZ7syyxsQWTTpwlgVukNnF3t+u1Y0gXRKYC58XGKf3wC6unkrSEtgOarYJS
n3pmyd7uEW4EQQxEvU7/irtTc328s+PxZ7jJ7/B6ucMi4aPqFwPnxnDnHEaV+I9r
rNOV/iSiF0naZjsGw5HsGravtNdiGpbeVXBqBlTu3Caezy3yKTe4RbhAewQYEtOU
Mj+HJ1kkqMKV0wTM9pjm0Tb320yy/0ww4P5ayqNQtnTM8fv2eto=
=wG1S
-----END PGP SIGNATURE-----