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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.1.0-1.1build1
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:
 d4017bd8f3ee611d56d5f8c18fefe88515699e47 414544 coq-quickchick_2.1.0.orig.tar.gz
 bd75b47f9957fcbdabab85059ea76705bd23a01f 3124 coq-quickchick_2.1.0-1.1build1.debian.tar.xz
Checksums-Sha256:
 d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e 414544 coq-quickchick_2.1.0.orig.tar.gz
 8d6bc5e68f6a1dc1e2efdd2a724274213faafd5284450a46eb4e4e05dcf240a3 3124 coq-quickchick_2.1.0-1.1build1.debian.tar.xz
Files:
 a24d9ba0f1bdbc8f7daa9680e63281c8 414544 coq-quickchick_2.1.0.orig.tar.gz
 6f245c650203e49bb5e62eafc6eb30f1 3124 coq-quickchick_2.1.0-1.1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj5Q0sACgkQ808JdE6f
XdkHFBAAqzDvHvzwjIVa9GMxjpRh6pFXiOSOYnLEKu8N/vM7QdrDj6zOGwyaUyRi
fgCDHjvh8JzIBjCiUV3p1VxyjbcaqSBcc5uhn/NRFhXmrZbSkV/U601hm2KiNVI0
xiik+2zsG+b1WSnjewJVkUaHuaFnJkMU7s45xWxOhFXEGeiYHZ4DlOc1PY3yaXQD
Bio8IG517b2bE98eIt7fsFqevo1f9dIAo1guHaklbeWZ6+bCdPqX2ZKSx3dj5zpc
VkxQbqqXSRQk4pFdsoh0YCgCNG2Epdt9bwegjwzvPIJ6n61UeLKKA5JQSLgj2g46
d8677dwkB43dbu4qV7jlUto1oeKH6XQirdWALaOf0PwZBQBIxpQgLeMy/MInHNCk
hnHvUL8X655F4HpmA7anvFxVZ/K/f4d+BS2mqttIbXE0iFYr9JRnTr7ofdlCHl5x
kdsEOcmbqfKP2o0ZKT7olb0vJHZ28yhoA2Du92TeIkk8cO6yzFqRnyfh4mLyCWpH
6mIW/DoIpcdslq59bDkAP/nUO4tJf3CMY78WopNoWo427MsbVXQ50KhM0GuYyRzA
RDQsMeEr57e93JuZB/xl9nwPg1eBsExLRJdQQbVrvA4IJ4di3/onUbtgEJMK+u9/
MIoLjuhRJuj9Ii6r+MziV70jD78mOhGPDZlq3pU9JaKPpyypryI=
=mtbI
-----END PGP SIGNATURE-----