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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 1.6.4-3build3
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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/quickchick
Vcs-Git: https://salsa.debian.org/ocaml-team/quickchick.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, cppo, debhelper-compat (= 13), dh-coq, dh-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:
 1dc9e058dec76d8892c3f382d40f4e20f72e45a2 388461 coq-quickchick_1.6.4.orig.tar.gz
 24144ba7317ecbfa6df6e263bfb3103fabc3d4cf 2812 coq-quickchick_1.6.4-3build3.debian.tar.xz
Checksums-Sha256:
 a8a4185f33f94c20e7414e3babb52d1359cdbe29886a2d9a1584db3a0650f8b4 388461 coq-quickchick_1.6.4.orig.tar.gz
 3fa74b9573d908e7c97a3b949bbf6936a5a545004113f09355cd24e13a97f10b 2812 coq-quickchick_1.6.4-3build3.debian.tar.xz
Files:
 cce1caca2698a92e8b66158d431dd7db 388461 coq-quickchick_1.6.4.orig.tar.gz
 0526789ab9f76e5868f6855fd46c8d2f 2812 coq-quickchick_1.6.4-3build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPvKFkACgkQ808JdE6f
XdlNvw//Y2EPjLybF30EeHJEmYkUlxmF8+55MIa2FquifEtfXqIFBISgyMa2dbD0
6A/ouJACF3VpOcYGDQvDkJSZYbmsC4omGHrBmqdpPSvkydNrCzThJE+1K+YBK+Pg
J6GhfMKdJOrJkI1jsLgkAkbaDKaCFETLFf1+PnjvHYnQvHptT7wQeVnKxu6jFkb9
iHMRXDIjwAd3mp74z3D7HJZ3m0fxj7aIqbwfJSAEpMpXYPmou0+AUhuJRSAiN/pN
wfXFXeSiBIrxJb6Q3J0Nkpk4lnyAL0Tr0AWSPErPBKeNHLmgPi8HcR2co77zU1es
6LM+chvEodfy8ZYkRYThyu53SY6Qzrr30CeRa/c5Vlq6Djmdpxq2x1z9nMJPkATb
ITRSUYLKmi+E74fnqc1i0wnh+rPMdw0dJcYZXysz62ORLlkMo61XAPPzIw1TEgCE
2EMXf3Kx6AGCe3QLz0OsSAB5pKIcy5630GXEPxgPc19Vz1dhn1kcFYRzfVqdpvqx
xjZIwGYqAWsW3P+mgL1xhGMe2nKvCb2M0LbQrMg8ElBesBRKnk1W+4IPtpFixHRg
LCpKMYeeYDx9pdO63fecAMmMwA9r6as0add+Ju4pGA01SPNbeAbpAAMH3NqqZ6o4
uizfgukbi/djzJd+xr2vCIeGwVQQllx8wbBmE3v8KJlGAveBwNU=
=abGb
-----END PGP SIGNATURE-----