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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 1.6.4-2
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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/quickchick
Vcs-Git: https://salsa.debian.org/ocaml-team/quickchick.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, dune, help2man, libcoq-ext-lib, libcoq-mathcomp-ssreflect, libcoq-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:
 1dc9e058dec76d8892c3f382d40f4e20f72e45a2 388461 coq-quickchick_1.6.4.orig.tar.gz
 e05dd78abb97d2cbb5d20b8bdc79f3cdb3675ba6 2672 coq-quickchick_1.6.4-2.debian.tar.xz
Checksums-Sha256:
 a8a4185f33f94c20e7414e3babb52d1359cdbe29886a2d9a1584db3a0650f8b4 388461 coq-quickchick_1.6.4.orig.tar.gz
 dd4dd7d06cac0f6dc4f19c66350052653b348c803dcc076b806668be608618a7 2672 coq-quickchick_1.6.4-2.debian.tar.xz
Files:
 cce1caca2698a92e8b66158d431dd7db 388461 coq-quickchick_1.6.4.orig.tar.gz
 5c9e73cc7cdfc6d2a9fc84c8e31e77f2 2672 coq-quickchick_1.6.4-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWYj4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR9QkP/0bUKY/3h8Ay7UJaaf/mwVhzmDoXfQ5S
e/QBeMqepD4WqzYtJ2vDX1YAFAydvb4EhUlZbOaqX+OZWQD+14sdfq1dm6Qiaf7u
cg0NyEIshxus2L9po58UETRz+Q6eGcRbW7EoBgyHpG/xQQpW4Tx7aSdw9Z+jGiIr
F4JzWCdtzUBe0sdXonYjKYggJ3ZhHuNBdpBX4VXZrJenX17cVQJDntfQ/Vn/M/IE
6Y3wqd8aHi/e8uq/eRtNIYpiOGtyZLgJeKkvGelej7g66rayXatHWNclsnbGsLHg
3Y+Et6BPdusqZEP5O6ECe/AXPcNhx3+q5+6r0nUeGwIGxbQ4GalPH8IUqfWe+a57
E5zqbpLciDgacoNihgRM8j4UT0LwGsdCVoMuiUpT0GgFpE86O+Nv/uoqRW9NyFgs
UWAqjmElo/t1HVehua+tAwcrGkJBbmwrxOHEh5T/DmQgFjBxHWvnYtSIVK8pc48S
ItUMfnCdmdf+iJFRP3t5iWgKWif5y4G1lSE5hnFEUDqzuAnBvLlxui2vX91B8fVP
ZHkcKhgsIOJONQ0WwUpPczdS/aoV5qK52kIZOiOkTC4EfgD1nHo/Bs6ZiU+Z0lPw
uMvoWMvmwYAzLId8Ovj8UEplfaERfQ2jRlX45VzyVzrruqt8eALrlUkMWvzya1Y8
5V4g8PL+PxOs
=g81T
-----END PGP SIGNATURE-----