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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.1.0-1.1build4
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
 e728551f2b6f108bb52dea47d6b43776e1dc12b1 3164 coq-quickchick_2.1.0-1.1build4.debian.tar.xz
Checksums-Sha256:
 d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e 414544 coq-quickchick_2.1.0.orig.tar.gz
 be4193ede9460cc6e6298d376a90e18a130c2786178bac094611735d989d5aca 3164 coq-quickchick_2.1.0-1.1build4.debian.tar.xz
Files:
 a24d9ba0f1bdbc8f7daa9680e63281c8 414544 coq-quickchick_2.1.0.orig.tar.gz
 5fb0f40eab912c0368049ee9aae6e4ca 3164 coq-quickchick_2.1.0-1.1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5MFIACgkQ808JdE6f
XdlgPRAAj7HEGL4Tct+EaavfvFGffziqXkPmKKnhpBLE3Y1oJ26I8479Bwvm3kwi
kqxSUxHZYTB4G6XnzoZoYAL6W+QVHGAyEK2PAtENoCLwVQOu3DX462YTQrdwyOXz
oJd5eQ5/hxqAfHzPUuHHHenqvSnC3xyOMwzrksbLlNG4mq0L/JxT7D/xllB5WDnv
3CAco9tKK1pMzVH/VSt6YeZVz64iXwGvg2tT2wbAMzQKE+19GZNrg/e5fkLhsDXh
PQfb7qAWkwm//6u5O8qticbEbs4SFts8ai4VhqESFY7lQmGgCNqTHgNrqgeBWlsF
Sr7WKidHJAsKempoGs4aJQTPz72UtfXDkXmTjTiU4wZhJjfkaqyhukZkXJhVH5ND
1BWJWCw7B6/sx2zVbp/jdJuVSLcBMYr3/mgxqYLmnODD4otqWyO/EU+D2dnRGlDU
z5vrZkf6itHD5dLHuGio933hhULF1KboVIC2hiHjAFbFZ8ihCg0wU1YtA6xPSIpe
oVjN6AART1cVrVLZta/xlxppSmycKDcInzg8S8PLiryQKTjHT3UuVZ9sPFio/4yz
y4uAT6sqy5rirfxD8aReK2r+SV3FJt9n+EJrMrVmPRIf09f/4TQ/TKRtXKYmi1ZE
cCUlm8cE5p19emRMeniVL5hATkGMlz7LYJjJ/tJMcVD+BYhV14U=
=PIMb
-----END PGP SIGNATURE-----