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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.2-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 20e11d612703de2b2b9efbcb26f0d818d57e39df 415619 coq-quickchick_2.0.2.orig.tar.gz
 5078996968a098842f4f0d96127a7be59ca257b3 3260 coq-quickchick_2.0.2-1build3.debian.tar.xz
Checksums-Sha256:
 666b4dfccd0030989e4351d9b1152a8bd976a577a97316c163532c0802a66811 415619 coq-quickchick_2.0.2.orig.tar.gz
 27725eea5a0b4a98e94287f34ce14fde2c35a25782fbb45554e9269a80d29091 3260 coq-quickchick_2.0.2-1build3.debian.tar.xz
Files:
 dc00eb702277d91fecc9501e8f1e0347 415619 coq-quickchick_2.0.2.orig.tar.gz
 08d55d3ce1c73ad8faae283dd2823cc8 3260 coq-quickchick_2.0.2-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cG4aHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz00Sg/+NbnD9JAINbZGCES+JBqe
s1zfdQlzk0teOz6LO0tiNXC55DKZFiOArx9cYJ5d/9zoGb+LrYtlk3nmdaH6RAm0
FAvrazpPVUEcJVAFWxKlZuJmUnSdnfLjfP5pah10APwgj6H7wwJLjeQbn/vh7d3r
rr5gP4DNJMBK1gg9/5d1dR45HpFB7GgpOEWdodu+LAVwrT5xLtFDers0rmHSx8cE
+GhB8hzavfDlmFbKGH6KNYVKoiBFJuc+vUx52mUSJ5mYtzlAMvrMK3Uz6ZQjqCqX
rYByoFWwsomBWL0FxXaem9O1ONWGMaW4un9287NbztswO28aBEHTA2Q/6FzBx9gc
sk/RFcRDxIuLcjNssfV9U0EG5/OzEhwd/7zmgiwrVV9O6Km/jxsW8umVeXDA6O+S
JStXP0F+YJLP2KK5f725Ps0MSjLVKrzMoUnrzbMBVjeWSEJwGZB3IXbhWJ00MPL0
orUSQd2LL2uRP9jnv0C/OBKPVr49S1c2pRXqXnXxFvsZKcYkGpDZOOvVqCVDrq3r
GcjhbLpA03dARgFAtRJ1yRWWw8f8cwOglW9nIt3zJUfYxj8wPQ+kcQZn8v61N4pd
bsAQMT+KB74dGa3WjPiuHLHxzRmW7Ma9FgpnPmHPVymCT5WFxdQvdEILIxBHT9sA
4NO9UDE+qyhbndraxDj+06Y=
=evdk
-----END PGP SIGNATURE-----