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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.3-3build1
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:
 a90c20d0ec48f9894a5fb8086e866ad2aa82b49b 411625 coq-quickchick_2.0.3.orig.tar.gz
 1250a9deadc2d11578589d75c1462d70449f13f1 2912 coq-quickchick_2.0.3-3build1.debian.tar.xz
Checksums-Sha256:
 e7391043facee2e3c9278e9013d8dd62327052707a0b9d0ea36786e3032888ec 411625 coq-quickchick_2.0.3.orig.tar.gz
 4c73fa681afdba076b2079566db0a3caedfa6ebf275f126da1b849ed010f1954 2912 coq-quickchick_2.0.3-3build1.debian.tar.xz
Files:
 66aadddf04ba9956be7ae8348acc2fa3 411625 coq-quickchick_2.0.3.orig.tar.gz
 04907b5c3263276e8ece3fd4b2dd3325 2912 coq-quickchick_2.0.3-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma2EbAACgkQ808JdE6f
XdmL2hAAq78oVY3lJphbTkdH8beRImRdrI56RRFhz74BLDQhfFIE5ZqWjA0l0Uud
UQjBR2ABvhBO9GXS66+Dj1s/bM0zZz1CREvBd+kDSi40pLxG9CXOZ3/6o67w/pnk
GD6gX5xCKBKyf5WSwFl3NRDYpL8TNlPzBoRDa/jEy19e21kaVQ08baMvXo+hcPPe
WrnUW2wLL2f5aXNPWTXbqDnhYwofhN02+J7t3ASvgdDjjcWKLhOB4T0Qi6PPC+qH
/TOVVm9Vl9ClEDAsdTAoOVERDVifXYT5EtyV6eYyURo4doo0eNhl5u+6VSsXXD4j
enBjD9/1LITafJ86NrhvvkwvmfpE98JBRlYKeNOdbjZjoP5rC+G/4CE6jBIhsyjB
4M0hlYSuxTQQc37031APgOqEyB4UIUtA/quyB0OMAG2BhdsTDBXRt2l8JRccMVI3
LryVHrcNzVF3xpiQuHurlnA/EzE4r5bM7xOTRzBo9CUKTxdFemaExU+N5ObRpgRj
+NcLJktMdef6KOP5bSlglyuCx2QnPV4qVl46PNgwv/r4zFFm1kmbiw0MCvEDh6PO
WU2tDHChaVlUNUz95IaRNdpd91tDOAdM7fUHvCedt5lKeWU6kflO6mNGeUmByqSU
UzkAR9tF6qho48kr16BsUFmZOj2fWKrdaUl68wDgoMDmCK+sH7Q=
=L4kk
-----END PGP SIGNATURE-----