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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.3-3build2
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
 43039ee6a725f1c3547d29118c6e17139933ccc9 2924 coq-quickchick_2.0.3-3build2.debian.tar.xz
Checksums-Sha256:
 e7391043facee2e3c9278e9013d8dd62327052707a0b9d0ea36786e3032888ec 411625 coq-quickchick_2.0.3.orig.tar.gz
 a9a4230daacd08901c5b08d47142e28f29fe1f94c5123312f53f9f8b325fac41 2924 coq-quickchick_2.0.3-3build2.debian.tar.xz
Files:
 66aadddf04ba9956be7ae8348acc2fa3 411625 coq-quickchick_2.0.3.orig.tar.gz
 038761a58603c2a5895ae49d4562a036 2924 coq-quickchick_2.0.3-3build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma9o1wACgkQ808JdE6f
XdmrYQ/+OleRCflOeMmsi3aalon+j1HC6r1nGgnkXtpEgHepxZw7jGOSwF1O94Kw
ob6ui2JoSWVyhXefrq3Wj8UtAB+necgk8adkUVAYM/gqWExi5npSonq9nJTySRUo
sEWZbnHmi90CFPP9dG5gZrtNjRhL9Y7qiOJaobKjnpQZrjXWXALRd9o2dtis8fWE
BMlzFocjRzBQgtMSFJBnE0Sc1xhWcdPtsIC3v247/rN/dcEpvsR/lHYftS96oVUb
Eqv6/VWcVXVFVtLUHP99M07JM98KHHrj0+cUAk27gpoMDhjons/u+XjdepiiI88a
mJUrB+UMA8ZA3NsvWeoJDjT6J3DTTtmnubrUPw81JSLPvYDCI/7/Hj7ifs1UfSv1
e6HOt73fj9a7C/G79NOu5tOljUU83uDQfN9vtMatchcNdgl8Qx8YIGtJ6tHb7TAz
Z4ee5hFA2IwCU29BIA3nKbhtQHwcZsDtIW64+nA8zUtFjn1NoS9RncW2Jcqo41tO
c1I3HlXJo33zLPS5UJCMi3/NXAwuEoOq9OzW5K+pI5fo2PEcjsldPd7EGfd8vu9+
2+FP3SVbsxucd8Dl14u5Y3C7WyDzNJHc4Dnk1o55dVw+1krDqIIKmyTnOoy9RByz
xO1vYorvz2gp6NACZ+WaPCGZwMoWApzs0+PyMbn0yc3+xR5xWvU=
=RFk6
-----END PGP SIGNATURE-----