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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.2-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.2
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:
 20e11d612703de2b2b9efbcb26f0d818d57e39df 415619 coq-quickchick_2.0.2.orig.tar.gz
 cd35a3c0ff4932d8f3f6c5a58c6fe8c8ea56b6ab 3048 coq-quickchick_2.0.2-1.debian.tar.xz
Checksums-Sha256:
 666b4dfccd0030989e4351d9b1152a8bd976a577a97316c163532c0802a66811 415619 coq-quickchick_2.0.2.orig.tar.gz
 ab62c1bab2dac835b6e96304363075e8547734a196ef8a0a1339e707637a71ec 3048 coq-quickchick_2.0.2-1.debian.tar.xz
Files:
 dc00eb702277d91fecc9501e8f1e0347 415619 coq-quickchick_2.0.2.orig.tar.gz
 811932a2468b199b324eafffaccfca8a 3048 coq-quickchick_2.0.2-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWsGx4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxHoP/2jpc4c9LHA1wiuOsOE1FSecvd5ytDEB
1ww63ykzVGLqRllojpBrwRvcTMnUdsgcvwRtkAjwiubD3ONLCv2b/KG14mRuvZ5g
MuozYKoe57mz77GEl9JacBOrNRBytkXaIY9lpvz6RVtAh4NIdN7eRZRwUZzArsLP
GJw8BNhYlEosPrVEoov02/B2IP5jZlT3H1vAnZsN6vPK0O1iU6Z8NnS7e04zLudK
B8O7Nt/s1vtxoEu1X8KtHy45FQiHBQQeLNdJOx1iDIA7UVql0cbL3eOuttRfHWKr
iICDbpbqE9MLayENtuR/bZmFt1ecJgwPGdnsHp0tKz1Ikz0MOsl6hQMGmT7UoI1d
Uj9cMKz4SFX3OmzeVL3DMWLi0LhgUwisY+JCvcel10wEZpTgZeQsOkpIcpEw5eJF
41bpURE/f9PIoWTQ8rZyV3Fxg0KHc8yzW6AqDPxFVtVrq2BZ+TSZ0yCvxUyqLhFk
2Endg4sFznIBUCyI9GjomPgRCPH7h63rzUqwj3LDUdcFmRSN9xk00yl0SKPp9XRD
Q4baNuJK/ICIusitjmHQGRhMlXHDBOqctXKso25ysX1diuNO3L3Gz3zr0G30EeN1
gdyVY1HKB2o4FJRCHc8XZsN1Ch2PqCrAZfHci/5guGdFqc22gr/DEgFX79zqnQuC
dwwos4z0BRRy
=KDGx
-----END PGP SIGNATURE-----