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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.5-1build2
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
 d206636b6c4ef603950086b12684df85582631ae 3008 coq-quickchick_2.0.5-1build2.debian.tar.xz
Checksums-Sha256:
 e19eaded243d12954b8b32827ce5c0d3b2a9cab4d316d97924a9861bf6f01773 413023 coq-quickchick_2.0.5.orig.tar.gz
 41b56c177753c974c886a770feb805c2eb708ae5f616095a73812043edd99e10 3008 coq-quickchick_2.0.5-1build2.debian.tar.xz
Files:
 3fe1c7124122fdfd5817d8634c1e68a6 413023 coq-quickchick_2.0.5.orig.tar.gz
 ed11489e075f357b4733070363575b0d 3008 coq-quickchick_2.0.5-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeBBJAACgkQ808JdE6f
Xdk/Qw/9HLy/T7u0ljMD91Zn6JNlQizit5PMRgqZMjxalZOWot5w8GPbcrQWfF7M
PHbjuNitXz9L8RtfAcbr5iDDgf+X1JpELRAFpXsJh0NQQrcxyvEzjwDPKBunajGv
8zu0+T35CN3cqll+VP0LLtm5zaCkiWCzL/+/IqLqOzrtfrMMl7AbzoZePDZ24MXF
q9bpJBSxPGA7ZNl2sbpHJuE59UJwDG+1Ul4//2plLi+YxhfMDQVks6BjN9rOLxht
0lXli6zmzRujIiXiisE6Zlp4VKAZ5B2SV0CXs/TuxwbCrDfScwYKXZhdMKcRg7AI
eRndey3oKZCoNmUOf9BAh3Q9se3Tvm9G66PpsEy9kLSAy/UChEe6TRtuMkXdUZkf
379mrTbORGuYI64cPJpMCjWdKNUhOs0KA8L1FzQ6qYjoys+Cqcdmi6ky7Z/nIKdH
AnSdsO1uyrW6C4JgJTZA2qUZvJiGUkgTQrK3KNNB08pklGX2XlLfnrAsk5frloBW
PStydTUCOOlHN9+garMCVU8G6fI84xwSUNxb1rSgXN+PkMSEEE4G2T7SDj4V5EqA
4Xefhr+2MpKzsiyY8YhU2X+F32VC+vnNGdWJqlacqyOb7ajg1wQHco1yOgoZCZKG
gZXyQKA3XcNdus7iYoXn2FYWXIL6Vt70DaQ43fngYFcnCXPc3qs=
=DPO+
-----END PGP SIGNATURE-----