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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.1.0-1.1build6
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
 04cbc33398e00a51e9745036178a42c713abceaf 3240 coq-quickchick_2.1.0-1.1build6.debian.tar.xz
Checksums-Sha256:
 d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e 414544 coq-quickchick_2.1.0.orig.tar.gz
 7495820430d045ce82c8aab43c69dcd16f26c8407c9242e6bc2ad8766ac2043b 3240 coq-quickchick_2.1.0-1.1build6.debian.tar.xz
Files:
 a24d9ba0f1bdbc8f7daa9680e63281c8 414544 coq-quickchick_2.1.0.orig.tar.gz
 1707285cc157cf6402ff8ff271ba445a 3240 coq-quickchick_2.1.0-1.1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpXXHIACgkQ808JdE6f
XdkgaA//U9YLGrbvoAzcpzsybaK+bq5JBZQFjk1LN+77b9VeINzCk1DkEg8Ovje1
GRldzc6i2uI6hA1ln7gZ8V78Bd68w82PQ5wTf8hBHVH6cRXHuMbRaOdHC1yv3V7i
4TqT0wC6vBWw9S1h0rQIGx5KaRHS5dRCsvzZdBs7HUV5jBO33FKx0RurOesXUUVe
7VmWoKIefsBNcyPHPgI1t8DA4t+uoluqUBISKt+YRp8f4fCtDBlYgZM7BnD5sDjv
ydUQZ+U4xv99dBiTRmVbDC3j3XV7vemrGIm+Ir/U1GCOeuPVL/32GWMTF+wu/WKX
qICR3kWGnN3aoW7bXa8caDnTPMZp2sdV+IFRr8tLlEuBlAsGl7LQwhkeLc1iHoW6
xeznalDUSamjBkPGhmEfZNJ79YBbilJ39JBwiPqLCK6DZn0fHKEVhMA4BEeaaul+
MpN7/0jIw6vY4CT+fs9+9GLf9MX47qtjS20T2gOTszTumKYu7hajk3X8l/LUeNI/
flxkgWOV/TK1Fq3kBTivJdvtWsO8G7GHoFs4wGOMfwPbh04aG5bi3e6pKgoCfMAr
4KlndGHLNXBcE87lQRDTONGjyhEeQKe1bmxVbfpYt1KFP4OFfqxXz97wdPL68Axo
rset60TufjQ6P3H+iz1ctr4TxyV86y2KHbJs7hE6YfYf7ml3808=
=w2Sv
-----END PGP SIGNATURE-----