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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.1.0-1.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
 3f1fb0dce23dd971cbed4f0c6d061f5ee2c1df20 3160 coq-quickchick_2.1.0-1.1build3.debian.tar.xz
Checksums-Sha256:
 d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e 414544 coq-quickchick_2.1.0.orig.tar.gz
 ef949b73f2149ea3aa7bc2240f608367a3f70747e298f82090eef2f33795c71c 3160 coq-quickchick_2.1.0-1.1build3.debian.tar.xz
Files:
 a24d9ba0f1bdbc8f7daa9680e63281c8 414544 coq-quickchick_2.1.0.orig.tar.gz
 5bd60c30bba2e580edd69f2a0b317b51 3160 coq-quickchick_2.1.0-1.1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmla6ZEACgkQ808JdE6f
XdnmbQ//WnhS8IIf4viN6Sd9XrpUtOo/MihlJjdCb3/H1OtfM78qyo98719134YS
QRDBvE5vywwmtMR8NWeMlyMBDTKzkbC97MQH0ZgRDEJFNSGiY/Fngo+LQzHnDIqP
YFZM0Kua3vhWLGZJmnYl6l7ls4Ri3JXR3SqgJz1rJj41+Gz2c1Y+iIv5jswjKSMD
HblJ2h36d2yQvcIjLdphM3bQ5uBPVpuVvso92x3NsJPgcTWr9VLhnhFNhRenCRnZ
IhlfRWavgf/p19fkadPfY0xxpzy+AQr+/MiUVevXp4BJNhynjoE1aMFRj7Sb5DBl
hUWqRYYv4WAJh3eoWfoVifcBLNLWIQX+8NQBllKmY2nUijBwM9AyhgYhvHH0Wo9Y
kvomxqN5i8jNJwKbx8Z0Vn3kA91+b2thzyMh1W7VkDx9JprwqIX8yp2I6LYoTeSv
cVZ2WNXgGA/ZBTqfAHF+g4xvNE6kTNAONrOW0czRMGf4EXd4oJl8k2pMlGluQcof
4wja3psQgMCSCAxCaJFxCJejwkJiAnGW+e+fdV9NSELAvH4iCBvso3mqx+PvJon2
XH+773hj4ikQVu+NSKtSlfalZoFZbpvHZzNoWLfbpR86Fi2O0ntrhJti54cgwYGw
fnXL4BIVOftKOT9eCPDF8PD1SxcFz+CE8N8W8CLVwlB8OWEuiFQ=
=miNX
-----END PGP SIGNATURE-----