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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 1.6.4-2build2
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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/quickchick
Vcs-Git: https://salsa.debian.org/ocaml-team/quickchick.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, dune, help2man, libcoq-ext-lib, libcoq-mathcomp-ssreflect, libcoq-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:
 1dc9e058dec76d8892c3f382d40f4e20f72e45a2 388461 coq-quickchick_1.6.4.orig.tar.gz
 cdf5eca29b1bfbc210929627865ce7bf22dbe2a5 2768 coq-quickchick_1.6.4-2build2.debian.tar.xz
Checksums-Sha256:
 a8a4185f33f94c20e7414e3babb52d1359cdbe29886a2d9a1584db3a0650f8b4 388461 coq-quickchick_1.6.4.orig.tar.gz
 3a3e7c19417a56f8915421e44e3689ea0154365d5bda60833bd9f23519d6ef69 2768 coq-quickchick_1.6.4-2build2.debian.tar.xz
Files:
 cce1caca2698a92e8b66158d431dd7db 388461 coq-quickchick_1.6.4.orig.tar.gz
 a9a15d0db99857bebe2650874bfe0238 2768 coq-quickchick_1.6.4-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLpDUACgkQ808JdE6f
Xdk6Ag/9FBs9X/U1vo7wf9xdm3awMnPCjivo6AQsXBdAk2z9LLv/ZTs4Cb5A/JRk
e5/WTLULQQNdpnVXcfOS53r++ewC1l7DAGddmxsJ/7QjfVQ+CDA9q23f8czSmjtz
OiZOIKlMPHNnXA7XpCR+V4AbY/giYcIrW8EYReyEhH0xs5R34wm0hFwLuDv5ZSa5
ROlMaw82RDdn/QPzabb8ueuNjlKcrIA9X0+T1i5yaQLYE/TzH6ACmf+J1GhiVg8M
sIYIA3Pjt3fGPJgGDU95hj7G0wbhjcP20fSepwrphVcDhHjjfa36XHg1CQ5+JPjm
e53xWAQVq8dFw+STJMicMQe1XVnoufjV1wKI7SObxzHqCDVbefmi/nxQdW33eFJQ
AsZIpslYk9MJArZyPYLCgFSbU2WNYOrAktSWLg3zF/9CQ9Z8OqslJdXj+ZrXIjPE
BLSU7dLi2bvdV4jRUmItZlvqNF4AYKS7hTnLrF+uGHlwzR0ad51nIpaqEQlKZtOU
I7H5KVihCqlt48VIGNZbhakGkitlaad++rmOBuO/pXH6jIG3sZZNB+Y71EJJhP2Y
YT7cB1t+TUtrcFhMOuDIZ+A7PZz3Y1af7u1Zs0U9QKK0aFbe7jM8/x/xhd0rxRf0
wxlHtlJw6Y1fA4SJfvikHuthbnjcSeTXPj3GpOs4eItijs9+Q4g=
=FIBa
-----END PGP SIGNATURE-----