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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.1.0-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:
 d4017bd8f3ee611d56d5f8c18fefe88515699e47 414544 coq-quickchick_2.1.0.orig.tar.gz
 8aceff51ae5169bb3f0368c1fe0a86363fbf54c9 2908 coq-quickchick_2.1.0-1.debian.tar.xz
Checksums-Sha256:
 d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e 414544 coq-quickchick_2.1.0.orig.tar.gz
 0d6587bc594a18657c9d86b1a1123ca3242f02426a1e6c89fe121bb0999bcbc3 2908 coq-quickchick_2.1.0-1.debian.tar.xz
Files:
 a24d9ba0f1bdbc8f7daa9680e63281c8 414544 coq-quickchick_2.1.0.orig.tar.gz
 ccd5bb283d4173cc76d0a9150193c185 2908 coq-quickchick_2.1.0-1.debian.tar.xz


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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmfZZN4ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTzXD/403455hJyJAQS4jEvk9u30
Egf8KoogXDKTCdv9Xv71tPfaYVaah9utGBb5e5WqF++eACfATxisAJRt3nR/UxDy
KDcig3c4V7Gc4QzWyN6oG9ZKUXlkt300naXMWMo6t87L4Xmhmume4pjE/0EGDsoy
K2H/zJpz1Ctesvg2vMC00/sxuVof2o+tRr41YBrnXv9BXi4XagFKecPPKiZCrXT5
QlABv0yNVczVRRH4eTOoBiciN9XZZs50t444ONRU+p4q/pNgbtQERJidmnJQs0l0
eagOdYvVwmqp0ssXlhZeF6DVqTRRvmYDbSXkIFzOWPHJYsVmrZrw/WbDWyC1Esp9
U22qX9KRSnB0gCOAWTQ7ReXmsF1zcwOgtbqnh6/Uh6zN+zF1yvRy78Ajv5c1PwSL
X5p2IrBTHBQjMI/jVrXIt6hadQII4R5PTwK0IplCGh6GHh6dl3FqS3HfNxZR2BZW
LPcT7mmXuG2ETA/O+f2e3KLIlicnmoqe9UnDUndJ6Ic625MXL77atHwrlvmeVpRN
8VTusP3z0LrxVpcn2gcvfSpcKKCcLM+PH0ORs6ZsGQzor9YrRFxH1sLBiiknqxU8
eTBDjWfVeDvDppvLQVkR9XDI37xz6F8NOUhddGiax6NlNr7HhsvfxEJT821/mvsw
xLxWloji5uLsxmyEMbeyWw==
=sfRe
-----END PGP SIGNATURE-----