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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 1.6.3-2
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:
 fc1daff38c1090df5d0bc818bb0f01595ba1cb12 388838 coq-quickchick_1.6.3.orig.tar.gz
 405a376936a2a566bbfd375e2ddbbbca82c20807 2616 coq-quickchick_1.6.3-2.debian.tar.xz
Checksums-Sha256:
 1aa7c278a1cb26435f4227bea56e64dc8310e40b1824ba885ae8fd3b60eb6f0e 388838 coq-quickchick_1.6.3.orig.tar.gz
 c7cef8ac51c1784636c363a839e17ea033547e5a3e4ec0b240fb3722af51d22a 2616 coq-quickchick_1.6.3-2.debian.tar.xz
Files:
 badebd9f0ac9b678b86fce99e91d5305 388838 coq-quickchick_1.6.3.orig.tar.gz
 402319ccf2e43fa54ee7a80486f454ea 2616 coq-quickchick_1.6.3-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL4HBYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRp1QQAIbw5k+VjYxm4dC9SPjYCYn/EzERsxN5
1QA+Jx7t/ZpARV4RyB1xSzs+tKZCw6IOfLoMTs/W2MEincej/6XEe3y7nJ3fJnI6
Iom+oQltzWJzd9N6FY3hRTISFYPyjfPgJ5MUXODhoKUd+mhnqAn45DCk2aLvoqbK
jhytKOPolRz85Ze1sE97b0xzDOk6mbnHCcreRYPez5eMkEqlddJg9z6tBelC7Tf+
xaVyc6bugWXyY2P1AtzQZDF/6rO6pUEgBIT7QN1UKXpjZBlYDuqlWPbywhA5qe1i
H3+giWMCKn0qG3Ac6X7olb+xZzzDkE+dCK1BGclHZHHQUtZ/kdfKLhehncmo2aTv
igidQyDvPxlUwTu8Sgt2BwnsyKy7XcgZvyI8L4ElWP3Tqdes0uvjlilTQMriU7r0
Tuav0JniH24RGeMsr+e/nrmgn+HKMOEQsGkM7ZI1w6iQVOpTbazvaei9a8OEuWGa
bjVBpB3uvh58bjMTR6RQ4eN2/X5ONqDc7MJdg05NImrDbefjFD7pfBzNN9kmavxY
Z+6bgH/mRNCPgpNjNA3zvWkaPSaGOO+u2VPCtWW3HuEtkmpBsSEuBKdadBkbnqbQ
D7IeJjs6KJMW8V5ujR73ah/DWPE0ASuPn0vik025oAiu004ZAG0G8T5bDKcvJIVX
8iarsP9mQwvX
=lTML
-----END PGP SIGNATURE-----