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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.2.0-3
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
 912c421339d88fc2e55e31a18ebc2fb22b66411d 3892 coq-quickchick_2.2.0-3.debian.tar.xz
Checksums-Sha256:
 541f2680bf3f774ebdb6e22fe63c276bba340f144a6229d61786be8cf60cb900 416735 coq-quickchick_2.2.0.orig.tar.gz
 f6e1dfd42d74b95e1aafef42606c4dedec8f5613406838a516b100384d3d9788 3892 coq-quickchick_2.2.0-3.debian.tar.xz
Files:
 6ce79bf9fc6d4611af7c22ddfbe5f46f 416735 coq-quickchick_2.2.0.orig.tar.gz
 0c23842c54d7237c9140f0f64033e690 3892 coq-quickchick_2.2.0-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8HXcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUawdEACIZ/xSIf++5MYN/njHK8hk
FLbU9caaW+N2IVjfKwvyvGzpO+w6sKZRSX7kZXoNI7rB6EQpGck7IZ9uzCQYhRCm
+o9euhxccHV5qd9jhly408NSrJBbwj3H4UI+xW1yB/gYBdvT2A252JBZRPMjHYnP
tbfly0bKZTWW6kVaOMuHvJHz9vk9FTMgWbbjTbwBzatLlY5CvVO3lG5E0wXIA/VA
S4HzlZ+YT1Po5Fi+AV6ggRcXwsr7ykJdQX/MSzP9n9e4+qKhdlFaFv0y2JWK0ae3
DaPi6rVFJzMhUL1eygxFbJhWziGS7WS6mYpDM/RtL0Mq6UKuxW4cfadhzrGgZpzz
Ab0rn7wl8Ka1rVtaaJ6jy0kmk2VtRsaxSwsy9NvAXRMMpBmOgi0q9suYLxPuSByL
aBRHl+it/58wRyiDEROLEW/ci9WN0ymLy5c8aRpwWZqnxP1mWBS3NbVRBowwMtZH
8zBiCRwiyw+Fl2r4PcdTfj4I1rAdwht4hcDaMJ9cPNEVRGDxHcoriYqa5LUpdJ1l
Rk3GMzpKdyjfz8ROg4WBXqXJum4qP9Dnhq7fkNB9KmSJIDE10MNHDB8Cr/I876v9
jPuP61IliRZ3U71+FtDEZvpZTdRItzE/9yHXGoZI6uT9KJH6CM/xo3tTddfDeFC8
Ir0vb5lxYKjIYgS5GP4KPQ==
=S/1o
-----END PGP SIGNATURE-----