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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.1.0-1.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:
 d4017bd8f3ee611d56d5f8c18fefe88515699e47 414544 coq-quickchick_2.1.0.orig.tar.gz
 eb8e1452f02d2f472e30a039c08c3217ec84ce65 3132 coq-quickchick_2.1.0-1.1build2.debian.tar.xz
Checksums-Sha256:
 d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e 414544 coq-quickchick_2.1.0.orig.tar.gz
 f3d85983e60e8dbdb8bd4fbe0de106fa32ab44abb8824fd6a39c6411108cfe60 3132 coq-quickchick_2.1.0-1.1build2.debian.tar.xz
Files:
 a24d9ba0f1bdbc8f7daa9680e63281c8 414544 coq-quickchick_2.1.0.orig.tar.gz
 25f56ebf627005ead8a82667c8fdc288 3132 coq-quickchick_2.1.0-1.1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkMVpcACgkQ808JdE6f
XdmtXQ/8C9V/X9M0UFkQvTJlJdg2CSUbGzMXvPatcZwxuZFFu9EA8pDjiN023K7R
ycGfc6746TsP7zzNMIhZrpfJzf1HKIa76xYm4wwY8/IqgtzID4GlQ8C72X1+THYS
cpyJMpfGLHgE8IQKIP0h6yAAK4D4BVAf76PSBe30RnY3dfOuHoRUGqJnASZR4SAO
yDncbywav5/Uzr6RgQuMXn7qNeYMebpEbmo6VyMXxZtUUusqPkx0Ox6CvSgJmVNl
03cwLhY8OVpRn6JkG4XpHpmCOKJ2ZYfJYmHFO83jwyPC0eimiS+A8DvjFLIUPftf
SW4ZPXbEISVLVPX3JiH8h2jRtcOLRkpuR4cdScoV2+NjqnZRywh04iU8THzotBBC
IANXSzE193xopFGqLr7VvYRUToSPC1II9DhDB6hWrdxurbemi6P9NgCqig5J5CXE
n1AlBv6Ku6foTKOUHS7C5EIQuEJbmNZtqD5PGckrS0WAG6P5blHnOam6fW46CPkF
AWoIx7cs/u+t+Ysl0seTf3uA6UczpXuGsPBnCgOYfqx5Siw/G0/IKghdZ8TrQmOE
yRpdkJK/kFQCSj2S8ahqY1WxnEw56kAblPyxserUEV89eCTu6rrGcglxJ4cBzKlK
xwXFB00S2Cj0iBlr3AIJyikgaAC69BZd1cQNVe/Lnl8VEvFAkxY=
=0gAs
-----END PGP SIGNATURE-----