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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.1.0-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
 5f6beaacc627d66d0e3220d46dabedb26e898c5d 3028 coq-quickchick_2.1.0-1build2.debian.tar.xz
Checksums-Sha256:
 d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e 414544 coq-quickchick_2.1.0.orig.tar.gz
 ecc06132b07a1b310f93d9719eb38caecf466ac8e8a6d290ceef04f39d8bbe92 3028 coq-quickchick_2.1.0-1build2.debian.tar.xz
Files:
 a24d9ba0f1bdbc8f7daa9680e63281c8 414544 coq-quickchick_2.1.0.orig.tar.gz
 13a7fe7be98f20693b717dcd12eb1e96 3028 coq-quickchick_2.1.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmg2xCUACgkQ808JdE6f
XdkGxxAArVI97PH1LeXMZ7mLOK5UPlSs7bL3kv8aPB3gHHhPhSeBg7RDfj416Wsw
+A2E1e3vmFDKXuHGF/sYlh6PVErd5JIe/KbugJfDlJzDMYgi8LMLs6dkG4/FWKBQ
wtfpf8fz0WQghcmn0S4zw/KxJkk0OV+f4INAj6HwLURVcCJDV1HIepwb5dCW3dSX
C43ToVbFsa+XGk6fggntmKoqxZinCmBwGnVndvna3gYjqOmENZ2//chVw3jZw32E
jPUgGA0HfIZ2hMQUAtSBkEugar3EACjRAyhmnnzat4au2QISiacxy4s+Gm0RmFoc
K23QLTdatrGjed731VfZqNr30HqAam0gn336Cd6e6dXR6j7om2mGrMCY68spyeef
D/si4lCYuCOlboPRn8eRelcAV2fOjUKis/PHMo/3eLTCNa+J9Kgh4QhbL8apqe/D
eNpe8JvP0bkoeSjd9og4ReDdXWYdIXTXYYGyVb3V3SmXrCy3okq0hv/NDuYt8ppB
+eCeJa2x2dw/aJONzV2fnODm8RLpMYeKzeIZWIqG+utdTGX7GVTNyXsuA7kA+xLo
s2OXyeHofNAEVv4JleNPyoGL4iKGY4aMn984bkoIn7qxc0bcPEA55OofD0i5pGKZ
Nyk4wycf/WIs4/uU8RQ4b8DhHKxbOugdHHbqjtzpj4vYxthxeMA=
=VPZY
-----END PGP SIGNATURE-----