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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.1.0-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
 699a0ba21c984962f90fe30dca046e7e8d213c7b 3048 coq-quickchick_2.1.0-1build4.debian.tar.xz
Checksums-Sha256:
 d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e 414544 coq-quickchick_2.1.0.orig.tar.gz
 cfed347cb73e61830ba8226d65e56b0875ee17f64218b205155beefe914416bc 3048 coq-quickchick_2.1.0-1build4.debian.tar.xz
Files:
 a24d9ba0f1bdbc8f7daa9680e63281c8 414544 coq-quickchick_2.1.0.orig.tar.gz
 c3b5d8ec8486d935bafc0d8037e71060 3048 coq-quickchick_2.1.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmi0oMQACgkQ808JdE6f
XdkCPxAAywtDcENkIollshImtjK4Q+Oq/CTBR7r0naNWWy5pMsKjdabRJUp+VUq5
so+O8kl2NKJqrT+N4/E7kAMXETu9BdEg35gFpxB3zQ9dQka6F0OYlmMHI7xgaAuW
EzcFWDPZi+e2x+qoDkIRh/d7KFKm2aSNg9esv4aZVvvfXQawjSvFli0DmLdkCRo0
w0z2J2XgWui9JQoai1vgPeBiKRgHfBGoY7Nn5XgwTY2g7IgPPUr0BthIJe6NFTbB
CiwxKR/C02QLbY2zvjq2lxC0AiA0+2fHJnyfVhag9iQa0ysoyCitIJQsAX8qJr2I
Z0MjskZUAEWm1XF/ycmbVc7uzGZmFmtsuzldeQGvLc4b8xpxh6HLd7/JzMnUpHOh
IZi/6h4pslQhZR75TaQZ/G+sh2H75GnP9Yum2YbKFLLKhB18MVSZ7/4Jf5pf4gsJ
xT7ZyZoXGNdx6qstRn5Ncubbg+sFfGWGI7FqNeabZjB6hFkB/ZotZuv/oRdeqsl0
w6n01ys1gv86DlteM0pnC50CvvS3NLLAVsDHQFzl6b3rMYOIoRQ546kggEYMCc18
XGRtJshmJCah11fpJPYpIRNkArWnF8z+pi7luK11wDSbfJhXSwpHKRoBTX6QyS1H
vSChbQvJbzu+YLYildFNYt9wVYE+QniE4uvNz6HM5Rib36K9y6g=
=q98F
-----END PGP SIGNATURE-----