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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 1.6.4-2build1
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
 f1da1a13793c7e8e3db8ec5a8b9d5ea32526517c 2752 coq-quickchick_1.6.4-2build1.debian.tar.xz
Checksums-Sha256:
 a8a4185f33f94c20e7414e3babb52d1359cdbe29886a2d9a1584db3a0650f8b4 388461 coq-quickchick_1.6.4.orig.tar.gz
 842ba46bd700ac2a736c06ae0b32d52ea2a12506fb3963183b7d218c99b93924 2752 coq-quickchick_1.6.4-2build1.debian.tar.xz
Files:
 cce1caca2698a92e8b66158d431dd7db 388461 coq-quickchick_1.6.4.orig.tar.gz
 bf14f058327600a5f71a5093f36a0345 2752 coq-quickchick_1.6.4-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBisACgkQ808JdE6f
XdnEaRAA314QBo+9FozUFjlUIBmHIAv0ZKuPYSimGt+cxLt8rnWlF9FsS4LazzuN
nU7aPIc5f0FqJpdO9M976oXol4FK9wpL1qeC5uN8PWyCZPfj/ILXk0KgFzmtbq/B
lec6o5Q4dji4ym38suYf6yLINU4JZ+RPcO0PxLhRtWe/1HZD1N0EdOrEoPST6Xtd
K5s99tOCbf5gc+1WZ+DfSTaO5ccOYPeG0elxiJkl0Wdqu4aWAhTaNszCZQdVzCgL
Ho/qOcGeVe9xQ5nXnfAfj+6WNgEEAOznJJ1cdDawcbrDlGp2PYPt8Cen9qv6rABd
7vviefbMRa/7qQ4l7WPWAO3fDYRAdimFo78+QmIpfbG9bL2d270w0sq9FmsxP2+A
I/ReZLQWMYRfqP0N+9wmQaUl7CNQpHTjpjGTdf1a9l5+7eyRa/aZDZM6Adwbz3Eb
ar+iSeZelYnu+r+eBolzy6cSF/nNJ5C7C7XjkEnbSEyAhPBDNG+vvb1WKR6jmtBv
x6SqCdKvV2sVxad6IUq0bl2pFkCigi3fj5BxxyBrsrtWGtNZM58b1N6tr+IQjmWo
bwzmOqzZGitgxllSDkUn6OLDef/cRZTM8aUjrrrz5vh03YnST1s/aklv4FuEAoaS
qc6IFBMcXOsd37tZxfJcPKb7xViOG3G2FzANypbU1kwhzwUa49E=
=fs36
-----END PGP SIGNATURE-----