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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.2-1build5
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 cbd06240acd857e408b049b7bda7d1e76df6a044 3300 coq-quickchick_2.0.2-1build5.debian.tar.xz
Checksums-Sha256:
 666b4dfccd0030989e4351d9b1152a8bd976a577a97316c163532c0802a66811 415619 coq-quickchick_2.0.2.orig.tar.gz
 1d4a9225593cd741f168b9ba019aaeb1028a73b30ca3df73bcc768c17e63fc1c 3300 coq-quickchick_2.0.2-1build5.debian.tar.xz
Files:
 dc00eb702277d91fecc9501e8f1e0347 415619 coq-quickchick_2.0.2.orig.tar.gz
 177fe2679feaa3b50e18cdb1755e1b2c 3300 coq-quickchick_2.0.2-1build5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmnUACgkQ808JdE6f
Xdk1Kg/+MCc3uU2XNKFcCn8SuQcqzV/+LztudeIASCsnW9BEIx2G6tclyRt9JkxQ
sNCU2h+ny8bLgOghr5E0meHPatAFtaGeiGUi/jqPDB9ZkAvbG8+tj2/zYDQbv8F7
XjMPMJqvOju0SHM3hAHhIjJ7HZRtKwJ1No17vR/FIhYmICJdd33pNthph62Fl/Do
SYcpZHfANk8f8v13uwF5JrEzvBXGAse0fQ/EJltqvchq1peNQpEpGBsw5ux8A6U3
gjabkhWw+/lipBb+5mK+GpmLDM6M5ysyHfaptoI3cof99hBatP2KRr0frIG2uk2N
pURoQXFRSpbOooQw7+RDWYN4ZQkphkbIP6/GZ+WV8wWhzXHtODkLgZtKfBIYps3Z
ao3TcMDm76ySksYuSR0nuMkIalpQ/D6dP6zLn8LuzD4/XpHXzrRxMvY85k2SS8yx
qDuZh3M2KQuIeDrYyctaq7SUygLbOBFd2NCbT0b6XwZualxY/HlQJRxDdJ+lZxwC
HQvE6cGuz1CRNdxzot8fh+MM6PmCMcGsKWCBmBD9wj7BXdqWwYInnbS9xiSSyK4A
f5Oq1CB6G328qmu5i+EbILyPUydqECQD9KVBFxA+pDtiRj7PRP4Odu1a2kJFB6X/
4u+ejQpErhLSLBYLLUoPCHMtk8FYkbqRB1DUKKz7MwhqvZ/9Q+U=
=iOgm
-----END PGP SIGNATURE-----