-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.3-2build5
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.6.2
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:
 a90c20d0ec48f9894a5fb8086e866ad2aa82b49b 411625 coq-quickchick_2.0.3.orig.tar.gz
 26dce5565e9d160cdbac2003cf11e0fad24326bd 2912 coq-quickchick_2.0.3-2build5.debian.tar.xz
Checksums-Sha256:
 e7391043facee2e3c9278e9013d8dd62327052707a0b9d0ea36786e3032888ec 411625 coq-quickchick_2.0.3.orig.tar.gz
 c9caa9e64fc930c49a8d73488a31292aa17f92775880ba93f884fc2edd97009c 2912 coq-quickchick_2.0.3-2build5.debian.tar.xz
Files:
 66aadddf04ba9956be7ae8348acc2fa3 411625 coq-quickchick_2.0.3.orig.tar.gz
 759bfcaf6de8f7e800d14990dc39971e 2912 coq-quickchick_2.0.3-2build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZeOQUACgkQ808JdE6f
XdnOnA//eOgh2rJ1UJxdEi2RuvNeA3d+/uhwbrfGDWqoMjgFF85ciZfX+HwIRDGM
rMYR6DXDySVNSqeUi0C+ipJXYf6Jmqvt/3mUxKEj19OhEGh6hH/gvOFdflfx3xN1
RFCaV4mPvx2GIrEJejmPNrYQJX2SMPNJ1mRGthdZ64cc9Rl/ADt4RCW3xhCScXSp
Ip/QjF0DtbA7iCBx/T9I6MHu9SJQ9H5koCbxtKO+vBVZkKlRgTzMx9hMuQnBfcCJ
Benwq0gx07kJLUVUJVKJHJUmgKWad6c+E3IN6FSq1WSYHlUKUcBzYYmzP7shWzYa
tuIuMV9JZsxm8E8EOOJYtZmzqcK/dD7MGCr6+SWuKijlGf5CNOjsI0leAr4KEJ+z
n7D+eW0s1MfqBDZezcWMSw5dEBuXeJ+1yM4RFq9hRKD1amC/kbMoEbf6yDDJEwc8
TRW05kZkvcOA7KBpheVPvv5ifncEE2EBwpl1ElniDhKcpAZ9+zA30zMrlRXWC7cb
/PKDaGMxZAEQ9JrET8dAkg3YY0cti/yk0XP87DMk+JkdMetAKe7zweRBeftmIicK
hO0vIAGbfNgpwqCSZKYOvtiGo2imcED1sqE774j1G2IN3ptdlgOvBokoXIlffHSm
WAMIFIVLcSdXyI7vvkSqp4ZNPFuLNaqkn/EvTc+sKyIaqClVmE8=
=Qobr
-----END PGP SIGNATURE-----