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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.1.1-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.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:
 ba8f3dfe2f9c19a6879680e54150f680b6e6f9c0 414612 coq-quickchick_2.1.1.orig.tar.gz
 1095c6ae956f67bb85a24471c46f78ce31360d91 3080 coq-quickchick_2.1.1-1.debian.tar.xz
Checksums-Sha256:
 0ca0afc0273dbd30f991090576462c70d65981275ab7b5a6dea15125f387cc60 414612 coq-quickchick_2.1.1.orig.tar.gz
 c212d5f6aa9086a11a51918c650f66a8b1f7b296a72be6efff12f53c0726ffa8 3080 coq-quickchick_2.1.1-1.debian.tar.xz
Files:
 0ebb3428fe7a79a46c76ccda4705498c 414612 coq-quickchick_2.1.1.orig.tar.gz
 fadb9d21772e84eef25e6b906d7d36a0 3080 coq-quickchick_2.1.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDEEcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUp4D/wMC5iltNLOerepwBNoKgvJ
xA7n4rjem449/VgU81JiGfI5m69lIE7kePDs1l6elxDOdteYNMJ81XkKcUOwyDrK
2ipl4HnnZimZfp2TWvPkAIfKSj7AvCoT/y2dhqNz89sDLOs9S2kG7Qz6WrYvjzY1
iTHYB1sn0NQmbNZUbyAQ3Dk4IPPoWBpQvTRKbUuH5yxPls4HdIkGTE/kIh2Jpkx3
jco0RLV5Tuw94ciQHUWTqa/RrTJbZvCR/0iP0ebt4kIevHvwfEk8lPnHltrrjjSD
TbcMhsNJT1tCSo+Rf+eNcK0T0IIukE9su/v3uJL9g9LsABW/tFGiPqd6VhDL5gY6
LcAXfNG7GHv2y27fhOLkKqGdxRkVWrSAZGXpkrsf1SjiSFEWem7NwogG+SeLK2To
Mm7ccjIJIRdlRgrrl3USNcsnHX2QZXW6v/o1Ih6iE2Xq1+99hHj7XM2Y7+wtk8iI
lBGVhQ9W5WAwod24bPXZ1dNJOubBYJt+fUdYbKr6gcUAEm+Q/n2VSBDrHP+7elsT
T2eg/aZ0P+xqCz8QDGpewkE6PxfZEhjw0D/NR198pQFHXDBzkwQhOIXvMs7i48Ul
1vAv/Io02hCNnpawnqYktl2O3m/SdyfnrKe/6xqZ0LbxXok0G0v0RrtQz2cG2+ub
XLTJXNSEZ89h0lYqIzCy1w==
=Fh0u
-----END PGP SIGNATURE-----