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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.2.0-3build1
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.4
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 (>= 9), cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, ocaml-dune (>= 3.24.1), 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:
 e46d89997171e927d32b7aaf16c414c55fefd103 416735 coq-quickchick_2.2.0.orig.tar.gz
 291010a41a2124f7978dc698195c7a1229ace3ac 3960 coq-quickchick_2.2.0-3build1.debian.tar.xz
Checksums-Sha256:
 541f2680bf3f774ebdb6e22fe63c276bba340f144a6229d61786be8cf60cb900 416735 coq-quickchick_2.2.0.orig.tar.gz
 b86b1c09f72a3a1aefef11000258716df12e334237499b0e526e883e94b0c19e 3960 coq-quickchick_2.2.0-3build1.debian.tar.xz
Files:
 6ce79bf9fc6d4611af7c22ddfbe5f46f 416735 coq-quickchick_2.2.0.orig.tar.gz
 a60a55ead4b86479661e15a6e4559a18 3960 coq-quickchick_2.2.0-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqvdnUACgkQ808JdE6f
XdmQthAArCWezVX/YXQ8AsV1nOZyLnqaKbrSoWflYP7b/q5pOsUg0erCpGu+XSyS
D8BmzqX2jpbR+MUXwwH71xYJ01GmfdQXZgN3zilu0ClrDWvZuuBibIcq7NUb9Ykb
aPpRks3oXe0LNdk/ropOjpS0sdO2ZyIAcuQWAzFL5mpgcsg+MSZ+4RW4+QsP3D1w
vxz6JtcnDrJbthicqrPUw3N2xLplBhCuayYPWOZoTDw5HK8+ysDt+MtiiiIPbfim
7pPtgvnI/7ruvNkDRYi1iMEYhUAlviVwDrlX2/U6WHIwjJiKPUdTjXbN402neBNk
R59EXNJ8TLigXTQv7fqIGlT/FSUkvA1zddfxFzEGsaB6R6E+vTyhoEHzZ/7Xq6Cv
gotCVdHz7orjMhhWJtsZADUj2lW2i9la+AU/f2sRpz58VkAthATB8QgLQTQ/A0Y4
LQz2b+sEdSfrIxBOuxrmC+AUgAHL2qPIfaiP5AyF5iB1YSGfHR0+27SdN10wmcNr
9UWVYMViKU5YSCVLfPlN3L7HPwp3mkl4t1IGhUMywMW3F9qFH1VnyTxs2MSxI5nA
xkMBbrMbVx4t12Y5mXA2Xhd4TiccJ917kFTTDiHgqti5HBMvguvWig//Cp864cvE
Lo01MAtIEHOfN/scVNrWj5zSX5yJ2lyjmt1OgVpOgD0HB0+r/aQ=
=/qqw
-----END PGP SIGNATURE-----