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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 1.6.4-3
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
 f03970485bb1998169c25223689baee4c4596f02 2724 coq-quickchick_1.6.4-3.debian.tar.xz
Checksums-Sha256:
 a8a4185f33f94c20e7414e3babb52d1359cdbe29886a2d9a1584db3a0650f8b4 388461 coq-quickchick_1.6.4.orig.tar.gz
 0ed3da1269a64008f6fdf6ad0acb8a33220d57cf4c83f09cf942d6381929d0d6 2724 coq-quickchick_1.6.4-3.debian.tar.xz
Files:
 cce1caca2698a92e8b66158d431dd7db 388461 coq-quickchick_1.6.4.orig.tar.gz
 11f825d309dcc72d437e79223e81530d 2724 coq-quickchick_1.6.4-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRJx0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVROJgP/1Qrhy+wwFgBGueDdPX/74uuuW9HhPEK
q+4vzYjSp0RmJuHhF/Ws3NfV50TICBOUfQ2BlxcfiF2M3b9qaLy5/pyBshIT1x0L
dwz/2QNnzv1ddi0nI7GtPmrpOCM6QOcgsXbbB8m4xyVFbhsCv6wtNKhjclZKPdDG
PHpnCtha/+yYsYWOFdpq4PPnLs+kzNgqnn2yh/vLdmP2YHpFFaxWXVgjgi+HQqdH
xCsuokiVqWV6ntPZW/u5dUV0CXxEZQxa/CRqshoInh598LzSqd9n3jkuFoljK5yM
vZlOLppejLcDjJyMIq3tm34kknU9YUj6i4OHxc8NVdxZs8xIqgFtiHtMk4WRy4Ju
NR2W3Gcu5VBPW2sLG8dzL0HTCvxajotdP2t8Fy2FnMpjH/ybe3Ny4z6iOIxNlqGr
UFpj0kT47twdv9EFOnjJ/i/qXV6VALdivnlLTHRBEDN12yWLg/fcXvHEOck7+p2T
ClDGl9SwatOrNhHWThcA89dgtYRYr9tLlRVWg5D8TaijCq7OsDKazNmvC3qKHv0w
xatQm4SfDpK5GwiLEumV0v2GPAFafxKVRWsCOlYiE6woAjWEf5UvO9HfQf/dFuFw
UY8anFIVnfW13wnmaRrcYzcmE0SKHJIWErlurZp3qWre7oWr2i+TWCjhmuBqAku5
jy27wWLWIz95
=hdN8
-----END PGP SIGNATURE-----