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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.3-3build5
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
 7a1dc2a00191a1dca5034779a79c43a61069b602 3008 coq-quickchick_2.0.3-3build5.debian.tar.xz
Checksums-Sha256:
 e7391043facee2e3c9278e9013d8dd62327052707a0b9d0ea36786e3032888ec 411625 coq-quickchick_2.0.3.orig.tar.gz
 359f839b49435b279f308a586f64dbe8ec1e4bcf47af77b1ce7d06361c18b072 3008 coq-quickchick_2.0.3-3build5.debian.tar.xz
Files:
 66aadddf04ba9956be7ae8348acc2fa3 411625 coq-quickchick_2.0.3.orig.tar.gz
 42b3d01d8f4723f94c1935a7e429ad74 3008 coq-quickchick_2.0.3-3build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbpp1IACgkQ808JdE6f
XdmauRAAlSP/BsL37SyOPN5kbpUJ3Ka4ia8a7w4/blDMLebwN70OgAp051ZPnJlA
9opiJe9CDQZLC7IbFxdOh2puzcK+Nefk6/eXLdumDOwXrUghJgre6sRtCp/rXhDt
mxuDZP/2pOQUAKdfDcWXQr0/hTs5ZzejyuOe/kuf65i4ARaYtymgCwkx0B8EhavT
N7lEhVAItfEKhY/kbjVCpM07XLN8+UtSwLtXphYflFhs6VoPW+CDSBQGhLNXLmaV
8h+E085k5a4g0sSKonjx3+dkXFJg0nWF5eDrmyNwJABX1Qac+UmkgBw03t2icROA
NpaoILUVvbUdBLcho3i35sgPm3MH6SxH03aXx56faCC+vghZfh1DgfBoj8OsABhL
3QS3jdGTgied692qbQop8s3lvJVfM76R2Et1t7lPAo+ZtpBQolr/v5EEJtUmPKw2
wJKWOqdvSB9u+RwqvNGVUGfLCv+R/z/j1iK3tNukt/ISQv6YrZhQMocwfj1LTqat
ozWxi4tM6gcOMdkTkKn0DP2yDHFOg8kqpT8ysqqGo6tqy5RXmAii3+ib5BocrDmL
J0+vHyOkCeFcf5kzX62VUI5IHrz6d3TT2bO9kV3kPpryYj3114TydvAqQeWjTaA0
CGO+raRx6x7mWs3p6tQ5dYZG1UcNX29zCo0AQPC/+JhBKa3ERXU=
=9BU+
-----END PGP SIGNATURE-----