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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.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.7.0
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:
 b9a7517f4e168f20a5b0ba4f001650aa2c1cee83 412923 coq-quickchick_2.0.4.orig.tar.gz
 d015af357ffbd21a540528cc865741df36834201 2876 coq-quickchick_2.0.4-1.debian.tar.xz
Checksums-Sha256:
 029bf8bee8f3dfe7cbc30a1e5e8ddc93e2998261befc904060f2e47b0701cbd0 412923 coq-quickchick_2.0.4.orig.tar.gz
 4350168b33e0f216fa927cd996a657cdd532177e98335a2411fd53c02073d7e6 2876 coq-quickchick_2.0.4-1.debian.tar.xz
Files:
 6134bdbe1b79450481cfdc84d1b42ded 412923 coq-quickchick_2.0.4.orig.tar.gz
 ce95a8bd6cbc0ad2f50a9208111f8e7c 2876 coq-quickchick_2.0.4-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9srcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRmt0P/2p46QlYQN2ehLNZb8e0kajvnj5b1hWd
rX3Mv9RuJDf0umbfpod2Ttn8meFlsVj9qjcAQLqy0tk9AFYOYKBYThB5NeEa55fv
V+0rw4Dks5ICf579COdMdaQ5Vwis6U0f1P+i1oBU0mS7ZXVcM4l/rhfPLJAxBkdE
1R/kePxxvPOi8VSVJ/gJdga92RRSrZxnwP/T8MptfaL7060SzYxs1X4IVWesAzeM
3UCEEXhkvQcHcTzxIgVlWRDnt+XR8Lb1XoBLzpx+iuSxLLOGker3ctM4drxJcACS
nJ12Os8xLIGIeZe6ZSSDfrMKeV7qbb3m0zXoSkvfLEX4ap3feZrch1twCrq/k3aS
W3VODrlOlThAC7xdROm7xomuJO9TzbfYhalRc84OgKCbnUQ/2ToFYZzcauinANHj
yj8TkrUlhlC1fDUjvJNMAjHZp/Zc6FPuJsWjet8vg7rnyfz9yr7DYaAzkc2vG1vs
SAGProw8SBFfr43Q6bSFh+dLX2W5ilJAexgFW0dob9kl3FxxCc+gJpPeZJ2maEaS
05cdFrqOO/ch9MoYwb7KU3s8C0UuppuVDmHQfwI+0D7WvPxVjo0ruGADo1uc1IGz
8/PxpR0jC8VvZBUERi5v4V6ZpURf6xNXeiHHVoZ+HO1CfHtbcvrCH7YChpnEubYi
wdFl6fcN28+n
=U7mc
-----END PGP SIGNATURE-----