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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.5-1build1
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:
 7c1f89504855a4077a089b1fb64090af585ff3c8 413023 coq-quickchick_2.0.5.orig.tar.gz
 316d164662f09832f36ede941a00a42451c39e71 2960 coq-quickchick_2.0.5-1build1.debian.tar.xz
Checksums-Sha256:
 e19eaded243d12954b8b32827ce5c0d3b2a9cab4d316d97924a9861bf6f01773 413023 coq-quickchick_2.0.5.orig.tar.gz
 72c5e7de550cd3aad2d882b913b6f0dc1bddc28e3ce457761c7b6f9b9b1c2146 2960 coq-quickchick_2.0.5-1build1.debian.tar.xz
Files:
 3fe1c7124122fdfd5817d8634c1e68a6 413023 coq-quickchick_2.0.5.orig.tar.gz
 83ed149cd0ed6543804875a75fc7fbfb 2960 coq-quickchick_2.0.5-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdldCEACgkQ5mx3Wuv+
bH20kA//RDeSl0hOwqVfQmnc7uE5zBBdUa2AhcmqLJ4iunReh2h/nS0JRFUc4i7C
nXKqHDmnTs0dO5O/ZjDPtUaysuQMbmWjs2qv8LkUBXU5DiaGnL2Vm49RngliV5Jd
p5jRnIiD4AeiMVcSZaS+1wDHbTlTB4QF8TWN5UEQgn3p1qpIDXYuDeqZ783oAX00
YWhoAxuxAsqCqKAGFH+s1N8BG5zCuhUaO1bIkuMaA5Mx4N+EMN5gwHwOEjUPCCFw
HIpkE8IKczAfuUcqPZnf9KCdfW9PsZ4mSOGVZ6sANF1dx20iIz2cQURUmreoirSW
W8xyWypY9TyOMIWQtlfI26Z6Y89CqFozZuJqCnSXwnIgVNIQeocx3g6byf0k4wIg
C63JkhI+EwMo+yH8EDBfeQQrSNUPvgNmoaQ3aR4+0d605j4sUaKToy6OYA3jdTdx
OThcEhf9tTVd/Xw77uXP4oXh3N8jUK9lhcBXDE7y4ao/sd3+Q38GkmNMlipPrhYB
xuIXAwxvfZCCZjsUawFb2SpjFDRRrTs2i321Qwgr4JW64ZaGx30u44BMpiajHCEj
uKqYbEsrMHPEx6naDE+bgNrC44qeqzemHLtmUPc55L5X05uGOQ40OP3I0T5E8YQT
eDXVyJtYhaWjvgjbmOLD2a0lHtWiug8Uy+MZjjTmkKgThef9OOY=
=5PM2
-----END PGP SIGNATURE-----