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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.2-1build2
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:
 20e11d612703de2b2b9efbcb26f0d818d57e39df 415619 coq-quickchick_2.0.2.orig.tar.gz
 6ca0ba43beadc30700f0ed6f0c79e51315211f7e 3156 coq-quickchick_2.0.2-1build2.debian.tar.xz
Checksums-Sha256:
 666b4dfccd0030989e4351d9b1152a8bd976a577a97316c163532c0802a66811 415619 coq-quickchick_2.0.2.orig.tar.gz
 3d93c91decb7a5cb471456a363776fe16730fac4734c24ae4bd818b0f80d0c94 3156 coq-quickchick_2.0.2-1build2.debian.tar.xz
Files:
 dc00eb702277d91fecc9501e8f1e0347 415619 coq-quickchick_2.0.2.orig.tar.gz
 c634a84252fbbec9256c96eaad24a61e 3156 coq-quickchick_2.0.2-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/XQACgkQ808JdE6f
XdmYDA//YwtuNd1/jkILFVuVgNmixfvGSMAQYBqQ7iZe4RhmVuu6aqyp8IusUHeJ
0sLR9E1wq4LPgBg5BOpzUV5vbLOoSZSX0yNdjocyie1+IccVZpUjrhPJ9oN85Gym
X+SYxScqMu7Kv71+Dsuek3TvPTfIrX789T64HjbSEzslkjhGjzRLcJniCj5+7odF
hpKoLqiFqEeGJoYZ8y1Am0Gic5wAtaHWvLhweybDmhCfdNpWXEdVHDEV6qEhi43k
HDxrtS1UUGmhzbrz5LWoprkmad8s9w9Naqy5ts+KWZ4KHy3/gK2hNzhBasIks4oG
QBZ1uYADsxBLvYffFzsereMgC2Fy1C9tjpH5Ny6ADfj77pIPx/qijQKiWuDq+9eM
L7ArTt652JyGtC7gSjRuUX6Syfc2gdehbuWpWZmUmN4BsUD8a2nQYcmHeUKD46/+
NShd7k2qwGwrl/mOsTRj90KFQusu4Ox9Q4bMsHbAGMVyz0ANWqfmCicgD64Dzm7B
aIUK9Nya1G3ACwhD0iRmvhiMr59mywGKJHlTl8jx5l+2nY7qUStNvxGea1asDNbp
63to1ixk0OGSUxFODRLKm1iPUEPL+DOhxqWHBUe+X+u3gtC86sy7XarCumG4Ky5/
pF8EPaEJji0b9m+kw05r8LXr5PBx+8JJxPXI/mLnPCHrCDJseZ0=
=r22y
-----END PGP SIGNATURE-----