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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0-2build1
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.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:
 685dcb58004c6a9c2b5975ebf4c9abf049b00e1b 409785 coq-quickchick_2.0.orig.tar.gz
 4055a0dabf6f8b3b74399ce8140b2e45e228fb5b 2964 coq-quickchick_2.0-2build1.debian.tar.xz
Checksums-Sha256:
 59406ffb8c437284d50dbd470cfa57ed8bd19fc65c647703e9a59620026d567b 409785 coq-quickchick_2.0.orig.tar.gz
 4bab7ca832fc794b6737ba2df63d5ed6a859dbca5e499c70b7f3b5b319d6fd5a 2964 coq-quickchick_2.0-2build1.debian.tar.xz
Files:
 005934b91b7f2861c8c1c69a516f06e2 409785 coq-quickchick_2.0.orig.tar.gz
 10483cfd2e2f5ba66db17a393d26e13a 2964 coq-quickchick_2.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+sKIACgkQ808JdE6f
XdnqrBAA20Cz4MkXZrzX2edXNje64TtgUTH3Y328+HMzf+1DUPMVrQyvCjZA5Ojk
QxKvQ/gv4093t/IbhaUpRKmPYqMOlvQ9cg7W5wJRppT3OMtWNPeG8zOFkznqrRZ/
1iyu7kdy2XD1730PknhC0Z366XXYc//h1aiBpiYqYoX+8aroCimENuUGxbJDHosK
WdKhUpArpoElpbd/2uweItZpcShH3t1ivH0B2fnGBOc5kvv8qqWNF/lqc6+9aYrg
faSfqI/dTMBa+6jWNwQ8bhF0pPRTnLJjpXSOqGMd1SlauudQ1/r7QFXXYQeSzRIi
wXjoKU8xySG0GbaEln6zU19ol7tjDf3hMOGqT7MUpoTsP4qdUhsQL8A/EhEO15gm
bKgWqvWFiy2sxo+RBxzRkXo4uzqx6Ezb2lfjqxbRNFofoCtaWFElYnhzIVXYf4Vi
eSE8dGq/pUUSHQw+w97yP2/Fqgtbqv7s/4OeX0/Gbo04zR3tRUA+6PMSDUDyprfX
5zZk/7R7LYZnIK6Dc77M3RwUtyO93MVXe6bTEPPtKY+0wFmhRByOhsRN0nwkh8cS
6nmkOHCFOv1xdae6b37Kcno7aqljVhxraubW8A0K5JmoDl9ohF5n70FkcX8c4FZo
dq1bmXc3rSbIeJOcEetkWgEzCpJaAwBnRBwhT1KwM8RjTjhbc00=
=E2gQ
-----END PGP SIGNATURE-----