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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.1.0-1.1build5
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
 bad30761794e87b40bf6ea52188108c00c86f6ff 3216 coq-quickchick_2.1.0-1.1build5.debian.tar.xz
Checksums-Sha256:
 d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e 414544 coq-quickchick_2.1.0.orig.tar.gz
 b79ba638ed58cf525f17ef1b04760ed3e486e16fb2b951d3963a0429ba8f8791 3216 coq-quickchick_2.1.0-1.1build5.debian.tar.xz
Files:
 a24d9ba0f1bdbc8f7daa9680e63281c8 414544 coq-quickchick_2.1.0.orig.tar.gz
 6a452fc15a182deb8c0cef9d6aea4e89 3216 coq-quickchick_2.1.0-1.1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmqsc4ACgkQWWH9vpxh
mAkZOQ/9HuC4NZkcuonO7S0x7J8xq4xlGmx1+cSA53wd3qzhS/mV8E82krsdli2n
EeiyXb0VV9hNzaaGX9K+/m1UIV1YtRl0qfewgYn790pMK7hidfU8g/w8vycY3c0H
YPetmipAEqx+GsdjiaEuLfR2cLPvb2wkgTEJaoPu3W2fMxnRS1HIM0OjECR6W24I
GKpebyut69pYHoQ78WaegAzNxjt/e8+aq/c5QPhPK12HcbYDwODCOyLMPoYHpqm9
+OWXN91ji997T8EjSKNsv+mcAQrYR2+OAkDmXWVwMHvCC/SNvq5lRWsGqrm9bUUv
G742lJRIGeKx6O5ZH68WUWF24Xf0qIr9ouRziLRV5UVDGuRK8auoLtneEwAvz8tb
euU8Q/AW/LzO5hFF0ZbaVOZPk4lnu3ncoKEBZ3ifuFSXt0wV3IvJZb4bWtHWprgi
2VpCDXd68VOSXsAgl2PO5pN+ktOWKuOhJjjL7vRcmQRzj93Bzng6zS243FpMUkTh
lqQ5Q0n4RpVw/uiJ1NqPs7EcjfBj+mcCAyUMgMDn7tEUiMTAH5u4y2GJVMkw/p2Q
doc7YuIJOnnyLw6VZlFrdZiE6carknjkwAoVawL62Jp8ouM2ClRBcJ0kD4u/zEV2
6zRrhjXfUvQtvE7FkFXLECQLlM7lXW30Mb7B1LYtO5IwVLeUF/M=
=ucuw
-----END PGP SIGNATURE-----