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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.4-1build1
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:
 b9a7517f4e168f20a5b0ba4f001650aa2c1cee83 412923 coq-quickchick_2.0.4.orig.tar.gz
 9a6593f8b1e7de585d8846b81b0fab957d3d13ab 2944 coq-quickchick_2.0.4-1build1.debian.tar.xz
Checksums-Sha256:
 029bf8bee8f3dfe7cbc30a1e5e8ddc93e2998261befc904060f2e47b0701cbd0 412923 coq-quickchick_2.0.4.orig.tar.gz
 a23a5f4a51507d626e13d1b0bc5ecee369fc4a50ea1cddb4b16d934e5a1da0ad 2944 coq-quickchick_2.0.4-1build1.debian.tar.xz
Files:
 6134bdbe1b79450481cfdc84d1b42ded 412923 coq-quickchick_2.0.4.orig.tar.gz
 145fa240ee65a8c11f31951165f81dff 2944 coq-quickchick_2.0.4-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc/NLkACgkQLIPbyOm9
DjdzgxAAsylJHp82EUQgoRqj3Ue6H7BYdg5Q25k5naXjFe+aOe1bm8g3KTtJYuTH
rzxDO+AY2i2DTNI1BX2rGAmohXyiNEkD39bf6/igBQBXbZ74fcAiLjoMMuuKcjfE
qU0tvBOhjDiKQeRTdd5jf0QrFUbMsGeY55Fdx7WOrPJxvWKto6NYANRFtW52ROm2
gjUSt52JhK8KF8u1cC68yM58y35EJIalaXAHPswB/7lxx+/DUO7Wnj/zuJ5c3etc
3CLIU/OgOFUDQesg+hE3cgFkLeMdr7weQof3zNBpvdnVIGcFnVXryudehrS5WdCE
rMz1OOC1weHWfHF4eBv/3PwrB21e+t9LrIRaw+aeXjkK4WT9b5fKkuiT34/UOxyI
sl/UbZgOC9Q7FHJPIoILRszEY0xxl0Cq2SGhO0VOI6MQDmOeUQMUf16JEeh6GwJr
Uf2L6hHzaFVGgLZYN1gRaudQcn0+N/lyO0/Bsm/5VzjJf1KCGPAnOfLcY4mCZV7b
8SQb+RcE6AnEtQ4MB4SZre8uHUfIy8i8BTetq7Pr/23nsCwZxGQTcDBE3FtZBUfm
AFDNHR5x4Ub6nHzJxWHgkwJRVh/qe6zjtKBwFEH9D4jkAYvCVgfCWCZs6HAc+vtO
8PZzMO0Hogn5A7NH5kDlct4tbppy3bqWKf7ZS03DTuur8QDlczg=
=wZzG
-----END PGP SIGNATURE-----