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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.3-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:
 a90c20d0ec48f9894a5fb8086e866ad2aa82b49b 411625 coq-quickchick_2.0.3.orig.tar.gz
 88cef50c9d653cba47aa1baa60807b14ace60ef8 2868 coq-quickchick_2.0.3-2build1.debian.tar.xz
Checksums-Sha256:
 e7391043facee2e3c9278e9013d8dd62327052707a0b9d0ea36786e3032888ec 411625 coq-quickchick_2.0.3.orig.tar.gz
 11056737d603658a80b3d47d3344a75d9bedcd86cd3d7d514702aa54503cb461 2868 coq-quickchick_2.0.3-2build1.debian.tar.xz
Files:
 66aadddf04ba9956be7ae8348acc2fa3 411625 coq-quickchick_2.0.3.orig.tar.gz
 416a8d85acdd8a5c1e0870e7cf11ca46 2868 coq-quickchick_2.0.3-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz9DMACgkQ808JdE6f
Xdlq2hAAg+ycfLHMIqcqvl5WdQe71/6tfOQKSW0cf5ME3+CfROQxRPvtXEd8CeaM
1rd1OdhrrwenTvSA49NdC9PB27G3HFkwgJEgZPv7xptKMeKiLlHvOB4fo3xp9Ixc
XgiI4IY08zdtvchq6wZ6s2arH8+RMFiIP7cPGt/Yn4R6vhkza8R5DgtB81Qgw0o1
OD3cqSEJCFkICJHvnPpPIsNoFxq6g6lQfQU7Zghy4Ue+BIsRrGfkeSMyAx1nEW5f
nhiuaGkk8yETjXVrNpzkH0ewVerEXXjETZl7DsjgaRTnU6nXKJLUN8bX9yZLx8mF
VvNLVcS2OONMi2H48HjbKSdDR+pnWQta/zfyCQejCObAzqLxAhiDmi+hrmEkSgQH
eZWUatkTzrR8hspQTcIFNmzMgYcwU9opxkx76FKZhdC/3ou0z0Ysi9e4z86EEQRb
+WYcfWTIwBMQ1DMFhFRypveXJYtQJYl1ticYro0DvDytirrmmBBxvQiFuV7gA6gR
GME28IqBMedWjM5FOn4Si1NBrJHbQhxvCWOsdszYCy4cBXjuY1b73ahsIzaXwAJm
TvqdrmeCNSNIDMTX789VStaak8gvRu1KEGET9I19tKIOiwj3PGcCQWndVCG93Hyp
rHf8G3odweIkrXPX4xSYhL+x/KrTuQaPvsvGI8XZ4wi/BT72h08=
=Pz6s
-----END PGP SIGNATURE-----