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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.1.0-1build3
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
 ac96ac042c03f55a1f471d4cba4ac98f1b8192ce 3044 coq-quickchick_2.1.0-1build3.debian.tar.xz
Checksums-Sha256:
 d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e 414544 coq-quickchick_2.1.0.orig.tar.gz
 96ae7bb7a60fec6eec3dafbc3b270793426e1d2b78e150dadc783c5a0924d3da 3044 coq-quickchick_2.1.0-1build3.debian.tar.xz
Files:
 a24d9ba0f1bdbc8f7daa9680e63281c8 414544 coq-quickchick_2.1.0.orig.tar.gz
 9f3e7bd6e7c5b782ebb037a868ea0356 3044 coq-quickchick_2.1.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUPKcACgkQ808JdE6f
XdlDxg/9EG6o3zbkpKI/dNaQiFI+iltOUYw1J/214XBQ8WFcijzs+T6UcyKhEzxE
FXAaftj4NqmCX5FjoiQrgTwH/Pbfu0kwLow3oWAcFzqSH6Fv0mP3xtRh9yZzcwki
Iz1NsAvsSuZGNySS3ZXbF0+AsNKZ/LdbLwXGfPZ3OHRHf2bKan77lljZ8PJd3fF3
mzZTZMVJWveaiki8kt5Xx925EKQG28b6G1fCTgSmEVfNiMjl8aQ6LfI8lcEsRBLn
GLd/ZCByyYjP65VVRubbiMSQfvvteuBIxOqE4P8wtsPWf8W4sS8g1jp+AtWOsd8D
mdsAku59y+QvLN9lNkkDOc7G4pWtfz1jF5Owr+31Xt0Rurt/5qtSgNMpwScOC2ZU
meWV5Izlv4cBnL2keUOH3XbIR2Agc7CMiXkNFcl9wjZo9WTpvKwYi/zTtIGZnp4z
FAZpJomDS5K0SlfDKQ+Rl0SaVEw6BoashHSCbwc+MShjjZxuFn1D+2kespMzAMLC
qe9TDzc8TsjWXo3yJ6fPEsVDUbxw28NS0VupxBv09521Bd/hmdy7bK4Joi72tZv0
bwTkZMvpETKEGeNBcc8GCFAtYDWPirsvXIQ6+a8+t+q/WmfZ6VGPdTh75Cu/UpRB
v9gvUqtAnYdr3Lh03a864coqFEq4BLnfqTLWd1bxXostxo4HX2w=
=Wfzb
-----END PGP SIGNATURE-----