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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.2.0-1
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, 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
 4e911dd2488a37ed90635f5b87bb85466564e0ff 3164 coq-quickchick_2.2.0-1.debian.tar.xz
Checksums-Sha256:
 541f2680bf3f774ebdb6e22fe63c276bba340f144a6229d61786be8cf60cb900 416735 coq-quickchick_2.2.0.orig.tar.gz
 e59adb52b9caeaa885abda6baa1d899beec55583b6353cef0669ce4e21aead63 3164 coq-quickchick_2.2.0-1.debian.tar.xz
Files:
 6ce79bf9fc6d4611af7c22ddfbe5f46f 416735 coq-quickchick_2.2.0.orig.tar.gz
 820b3795e201040c7ceca43177357b9e 3164 coq-quickchick_2.2.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpefyMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXLwD/9Jn9jSNffSe0JTnJrncRMa
NxSVuW2CH0TaxjMPKev8x+B37AnPob2xYZhrvn9yC8h0JvdopUI5ovucS+j4R/5T
KyZTHWwTCH4vfR13ioSPWOTZgnji1xajBdUlDF2akTM+MMcWZ/JnX0/NJvBHTaGF
CFb6QGbtLIZcEzZ80GydNMmaYEpu8nI9oqEEK3EJCWQCkf7m2LmPc3ggCpWcxlDe
e7YAyyD7LAwW9M+Ae3Nfnn4zF3eA+Y9++6uDEBgZ/JFrD5YbJZEwpinVFINdXa21
HME019CqefFU1uMWMnV4Y1EIHl5fGqe1M1fwgsKWxcoWikKM79v5CJtdte/5SA71
VLrMY1IYVF1KQKw+uNPqF25aisLOly1vCaiLfXYdjYKxxLcvHvod6UeTbnk5bmW9
11Fqqf5JQVcrX1DLyPPFrhhKS0PwQVHpLzHiuwCY3lmzRIHT7Vv0H+Utvc7o4CAJ
Wrlucw/hyMKoMJO0wLnPoWRN1rR7fc+yfxc/+VHWKxkI/RlZZ+WmUY55KW6YPcr/
/PnHQlIxo22C3N6HvGKq+FcrhI1WGBz0IbUeI0xWYVwq2OmQcov6qeqNV27/VpED
5AMlkvuCbT8OjJK1DOeOcDWwh5pnoj/8tIx3pGh4a+k69e7kZVuipBYeSriDgAZf
GD+KFqmhOaQQtxnLQwpcVQ==
=ROuI
-----END PGP SIGNATURE-----