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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.5-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.0
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:
 7c1f89504855a4077a089b1fb64090af585ff3c8 413023 coq-quickchick_2.0.5.orig.tar.gz
 0427e075df1007c77a0e32fc7ca40d311efa84d8 2888 coq-quickchick_2.0.5-1.debian.tar.xz
Checksums-Sha256:
 e19eaded243d12954b8b32827ce5c0d3b2a9cab4d316d97924a9861bf6f01773 413023 coq-quickchick_2.0.5.orig.tar.gz
 8d488335b175e53493dedcd4574d642d420ac999d000fb9727e61cf48727e006 2888 coq-quickchick_2.0.5-1.debian.tar.xz
Files:
 3fe1c7124122fdfd5817d8634c1e68a6 413023 coq-quickchick_2.0.5.orig.tar.gz
 92576f5b4171d90cb14857d84534b06f 2888 coq-quickchick_2.0.5-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdi8OIZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXEyD/4hMUihixOZPvjU0w7UCLTS
5dFOnIqZPCFMfVXfrN4d3n2LeI2omNncCVVEk6NffA3xWKp/93W2U68eMh3unVuJ
C2B4Dl+tRMC/1qmJ6quJUhRUTpthMeD1KFzpLxkPaljEm+05owUvJM6/8uYuirAm
DmEw/mLu+9jgYVomDeyhpRyrM7TqcXkw27u4eP1Zbbl2DeLi6Y3dAfPBkPhmxDgM
2kVesJyUW+jPFoGqF3WvrseEw314WW9oCcx6Zd0fxJlibTh8wbZvzC0zcE2vvm+3
EAKa8tQtvRJrG7Rys0+j9niqDVun+93Le0coeXv4plk2hCdbokgfRUutPBpzuImN
0QxINiMwHQpZx1qUN2yU9PYc8fE0iPyrR4zFjdwqj0brmlH/bdc62rI4Bij9ulta
h1ZEFBdQ97UOffApcFwNfSQP9vZHw4cpBtTbO/97l0pXJs611qrX9DrUeKIxOt33
bKX0FqMY+mjLc24Ln3E1EJjgcdseB0JKwLWXdLOuev7wt/IcxZ1afwyrp83/4Y5E
UiWNz6tRBGgafpksojQ/Yw21h/B5FvROFXaN9qeL1zKkSdOtRcnCy46zH+H2adYh
zrEHVfoDYflHGZ9LT6iCupv7y/aZ4MHS7IEsYq9BPeRMRrNvx3ktoc0ypqMBm64F
5kzDiEAS5SZ1p43PO4RHlA==
=3EXR
-----END PGP SIGNATURE-----